Universal Property of the Discrete Topology