In a topological space X, two sets where each set is disjoint from the closure of the other. Two separated sets are then necessarily disjoint, but the sets [0, 1) and (1, 2] are disjoint, but not separated, as 1 belongs to both closures. See separation axioms.