Definition:Finite Discrete Topology