theorem :: SUBSET_1:18

for E being set
for A being Subset of E holds
( A c= A ` iff A = {} E ) by XBOOLE_1:38;