Vera Linda Pengarang Irvandi G. Pasangka Ketua Penguji Ganesha Lapenangga Putra Penguji 1 Rapmaida M. Pangaribuan Penguji 2

Aljabar-BV merupakan himpunan tak kosong A dengan suatu operasi biner(∗) dan konstanta 0, ditulis (A;∗;0), dan untuk setiap x;y;z 2 A memenuhi aksioma: (I) x∗x = 0, (II) x∗0 = x, dan (BV)(x∗y)∗z = (0∗y)∗(z∗x). Kaitan antara Aljabar-BV dengan Aljabar-Aljabar lain adalah seperti berikut: Jika (A;∗;0) adalah Aljabar-BV maka (A;∗;0) merupakan Aljabar-B, Aljabar-BF, Aljabar-BN, dan Aljabar-BH akan tetapi sebaliknya belum tentu berlaku; Setiap Aljabar-Coxeter adalah Aljabar-BV akan tetapi kebalikannya tidak berlaku; Aljabar-BV juga ekuivalen dengan beberapa Aljabar seperti Aljabar-BM, Aljabar-BT, Aljabar-B 0-Komutatif, Aljabar-BO.