Pencarian berdasarkan :
Pencarian terakhir:
merupakan -aljabar. Setiap -aljabar yang memenuhi aksioma komutatif disebut