La siguiente proposición nos da un criterio para que un par de subconjuntos