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