Abbreviation: Pocrim
A \emph{pocrim} (short for \emph{partially ordered commutative residuated integral monoid}) is a structure A=⟨A,⊕,⊖,0⟩ of type ⟨2,2,0⟩ such that
(1): ((x⊖y)⊖(x⊖z))⊖(z⊖y)=0
(2): x⊖0=x
(3): 0⊖x=0
(4): (x⊖y)⊖z=x⊖(z⊕y)
(5): x⊖y=y⊖x=0⟹x=y
Let A and B be pocrims. A morphism from A to B is a function h:A→B that is a homomorphism: h(x⊕y)=h(x)⊕h(y), h(x⊖y)=h(x)⊖h(y), h(0)=0.
Example 1:
Feel free to add or delete properties from this list. The list below may contain properties that are not relevant to the class that is being described.
1,1,2,7,26,129
$\begin{array}{lr}
f(1)= &1\\ f(2)= &1\\ f(3)= &2\\ f(4)= &7\\ f(5)= &26\\
\end{array}\begin{array}{lr}
f(6)= &129\\ f(7)= &\\ f(8)= &\\ f(9)= &\\ f(10)= &\\
\end{array}$