Supongamos que tenemos dos relaciones A("x, y") y B("y") donde el dominio de "y" en A y B, es el mismo.