Dos elementos están relacionados cuando, y solo cuando, pertenecen al mismo subconjunto de la partición.