la definición dada una operación en dicho conjunto.