A BF-algebra is a non-empty subset
-
x ∗ x = 0 -
x ∗ 0 = x -
0 ∗ ( x ∗ y ) = y ∗ x
Example
Let
-
x − x = 0 -
x − 0 = x -
0 − ( x − y ) = y − x
References
BF-algebra Wikipedia(Text) CC BY-SA