Wikipedia
BF-algebra
A BF-algebra is a non-empty subset X with a constant 0 and a binary operation * satisfying the following:
- x * x = 0
- x * 0 = x
- 0 * (x * y) = y * x