In group theory, an area of mathematics, an infinite group is a group whose underlying set contains an infinite number of elements. In other words, it is a group of infinite order.