for SFX, SFY being set st SFY <> {} & SFY is_coarser_than SFX holds
meet SFX c= meet SFY