I don't understand how sets can be closed, yet disjoint?