Es una rama de las matemáticas que estudia las formas de agrupar u ordenar elementos de un conjunto finito