Seja a operação definida para dois conjuntos e , como segue: . Em relação a essa operação, pode-se afirmar necessariamente que