theorem :: FLANG_2:102

for E being set
for A, B, C being Subset of (E ^omega) st A c= C ? & B c= C ? holds
A ^^ B c= C |^ (0,2)