The Definition and Basic Properties of Topological Groups