A T megegyezik az R-nek C1,...,Ck attribútumokra való vetületével. Az S megegyezik az R-nek B1,...,Bm attribútumokra való vetületével. B1,...,Bm és C1,...,Ck együttesen az összes A1,...,An attribútumot kiadják, de ez nem jelenti azt, hogy {B1,...,Bm} ∩ {C1,...,Ck} \=∅