In mathematics, a topological group G is a group that is also a topological space such that the group multiplication G × G→G and the inverse operation G→G are continuous maps.