Es decir que una operación en un conjunto E asigna a cada par de elementos de E, otro (no necesariamente distinto) elemento de E.