Una funcin es un conjunto de pares ordenados (x,y), en la cual no hay dos pares ordenados distintos que tengan el mismo primer elemento.Es decir, si f es una funcin, el par ordenado (a, b) pertenece a la funcin y si (a, c) es otro elemento de la funcin, entonces b = c, de lo contrario, f no sera una funcin.

En pocas palabras, el primer elemento de un par ordenado no puede formar parte de otro. Si esto llega a ocurrir, el conjunto de pares ordenados no forman una funcin.