Los conjuntos así definidos satisfacen la siguiente relación.