theorem :: MEMBER_1:4

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