Sejam dois conjuntos, e , e a operação , definida por

Pode-se afirmar que