for F, G being set holds
( not UNION (F,G) = {} or F = {} or G = {} )