Definition:Niemytzki's Tangent Disc Topology