Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Struktur grup
|
|
Totalitasα
|
Asosiatif
|
Identitas
|
Invers
|
Komutativitas
|
Semigrupoid
|
Tidak dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan
|
Kategori Kecil
|
Tidak dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan
|
Grupoid
|
Tidak dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan
|
Magma
|
Dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan
|
Kuasigrup
|
Dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan
|
Magma Unital
|
Dibutuhkan |
Tidak dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan
|
Loop
|
Dibutuhkan |
Tidak dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan
|
Semigrup
|
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan
|
Semigrup invers
|
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan
|
Monoid
|
Dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan |
Tidak dibutuhkan
|
Monoid komutatif
|
Dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan |
Dibutuhkan
|
Grup
|
Dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Tidak dibutuhkan
|
Grup Abelian
|
Dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Dibutuhkan |
Dibutuhkan
|
^α Penutupan, yang digunakan dalam banyak sumber, merupakan aksioma yang setara dengan totalitas, meskipun didefinisikan secara berbeda.
|