inclusión de conjuntos (entre subconjuntos de un conjunto