theorem Th5: :: MEMBER_1:5

for F, G being ext-real-membered set holds -- (F \/ G) = (-- F) \/ (-- G)