Esimerkkejä algebrallisista rakenteista Yksi joukko, yksi laskutoimitus magma eli grupoidi, jossa edellytetään vain, että jokin joukon sisäinen laskutoimitus on olemassa; puoliryhmä, jossa lisäksi edellytetään, että laskutoimitus on liitännäinen; monoidi, jossa laskutoimitus on liitännäinen ja siihen liittyy neutraalialkio (nolla -alkio); ryhmä, jossa lisäksi edellytetään, että jokaisella alkiolla on vasta -alkio;