for A, B being set
for x being object holds (A --> x) | B = (A /\ B) --> x