theorem :: XBOOLE_1:69

for Y being set
for A being non empty set st A c= Y holds
A meets Y by Th68;