Definitsioon: tehteid ja nende omadusi uuriv matemaatika haru
Mõiste: loogikaalgebra
Ülemmõiste: matemaatika
Mõiste: väitealgebra
Ülemmõiste: matemaatika
Mõiste: kompuuteralgebra
Ülemmõiste: matemaatika
Mõiste: arvutialgebra
Ülemmõiste: matemaatika