Let $M$ be the multiplication table for a finite magma. Entries are labeled $0,\ldots,n-1$.
M has the property that $M(i,j)\ge i, M(i,j) \ge j$.
What is the proper term for this kind of magma and could you provide any references?
Monotonic? Convex? I am sure there is a term for this already in the literature.