Sean A y B conjuntos (subconjuntos del universal).