Grupa
Ustalmy zbiór np.
Niech
oznacza zbiór funkcji odwracalnych z
w
Funkcje z
można składać i odwracać, nie wychodząc poza
W zbiorze
istnieje też funkcja identycznościowa. Tytułowe grupy są abstrakcyjnym sposobem wyrażenia powyższych własności zbioru