theorem :: SETFAM_1:13

for SFX, SFY being set st SFX is_finer_than SFY holds
union SFX c= union SFY