for E being set
for A, B being Subset of E holds (A \/ B) ` c= A ` by Th12, XBOOLE_1:7;