Description: Extend class definition to include the class of all second-countable topologies.
class 2ndc