for X being set holds
( not union X = {} or X = {} or X = {{}} )