The notion of a topological group follows naturally from a combination of the properties of a group and a topological space. Since a group consists of a set G of elements which may be either finite or infinite and since this is also common to a topological space, a question is opened as to whether or not it is possible to assign a topology to a set of elements which form a group under a certain operation. Now it is possible to assign a topology to any set of elements if no restriction is placed on the topology assigned and hence this study would be of little value from the standpoint of the group itself. If however it is required that the group operation be continuous in the topological space then a very interesting theory is developed.