 Robbins algebra

In abstract algebra, a Robbins algebra is an algebra containing a single binary operation, usually denoted by formula_1, and a single unary operation usually denoted by formula_2.These operations satisfy the following axioms