Square, Wonosobo
Setiap -aljabar merupakan perumuman -aljabar. Jadi setiap -alajabar
merupakan -aljabar. Setiap -aljabar yang memenuhi aksioma komutatif disebut
disebut -aljabar implikatif. Pembentukan -aljabar bisa berawal dari sebuah
lapangan sebagai syarat awal pembentukan sebuah -aljabar, bisa diperoleh
sebuah -aljabar komutatif maupun implikatif yang bukan -aljabar.