theorem :: SETFAM_1:15

for SFX being set holds {} is_finer_than SFX ;