Definition:Partition (Topology)