CW-complex, Hausdorff space, second-countable space, sober space
connected space, locally connected space, contractible space, locally contractible space
The torus is the manifold obtained as the quotient
of the Cartesian plane, regarded as an abelian group, by the subgroup of pairs of integers.
More generally, for any natural number, the -torus is
For this is the circle.
The torus naturally inherits the structure of a Lie group.