theorem :: SETFAM_1:16

for SFX being set st SFX is_finer_than {} holds
SFX = {}