theorem Th2: :: PARTIT1:2

for SFX being set holds union (SFX \ {{}}) = union SFX