Kliknutím na Pologrupy, monoidy a grupy otevřete zdroj.