In general topology, the separation axioms are a set of topological properties that describe the extent to which various sets can be "separated" or distinguished by the topology.