theorem :: MEMBER_1:22

for F, G being ext-real-membered set st F c= G holds
F "" c= G ""