Definition:Dimension (Topology)