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