what is a geometric transformation
Usually sets of geometric transformations are considered such that each finite sequence of transformations in the set can be replaced by one transformation of the set, and a transformation inverse to any of those considered also belongs to the given set.