Es una regla que permite asociar los elementos de dos conjuntos
Es la correspondencia entre los elementos del conjunto A con los elementos del conjunto B
Es una colección de pares ordenados (a,b) del producto cartesiano AxB
