theorem Th3: :: INTEGRA6:3

for R being Relation
for A, B, C being set st A c= B & A c= C holds
(R | B) | A = (R | C) | A