Desigualdad para cardinalidades de subconjuntos