theorem :: MEMBER_1:59

for F, G being ext-real-membered set holds -- (F ++ G) = (-- F) -- G by Lm4;