Definition

Consider a Topological Space and its non-empty subsets . If and , then and are separated sets.