Please type your equations here. For example, to search for posets type
r(x,x) (r(x,y) & r(y,x)) -> x = y (r(x,y) & r(y,z)) -> r(x,z)
f(f(x,y),z) = f(x,f(y,z)) f(x,e()) = x f(e(),x) = x