In mathematics, topological groups are logically the combination of groups and topological spaces, i.e. they are group and topological spaces at the same time, s.t. the continuity condition for the group operations connect these two structures together and consequently they are not independent from each other. Wikipedia