Suppose is a Topological Space. Two nonempty subsets, of are said to be separated provided that .