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