Dados os conjuntos e tais que , pode-se afirmar, necessariamente, que: