two subsets and are separated precisely when they are disjoint and each is disjoint from the other's derived set (though the derived sets don't need to be disjoint from each other). this condition is often, using closures, written as