theorem Th3: :: MEMBER_1:3

for F, G being ext-real-membered set holds
( F c= G iff -- F c= -- G )