polje: matematika
grana: algebra
projekt: matematika_rest
algebarska struktura koja se sastoji od skupa s jednom, posvuda definiranom binarnom operacijom
Naziv grupoid ne preporučuje se za magmu jer je danas dominantan pojam grupoida kao male kategorije u kojoj su svi morfizmi invertibilni.