Find the word definition

Wikipedia
BF-algebra

A BF-algebra is a non-empty subset X with a constant 0 and a binary operation  *  satisfying the following:

  1. x * x = 0
  2. x * 0 = x
  3. 0 * (x * y) = y * x