zbiór z jednym działaniem określonym na elementach tego zbioru, tzn., że każdej uporządkowanej parze elementów tego zbioru przyporządkowany jest jednoznacznie pewien element tego zbioru