Before revision:  The binary operation is compatible with the convex order, and therefore a one-parameter sub-semigroup can be identified with a peacock .
After revision:  The binary operation is compatible with the convex order, and therefore a one-parameter sub-semigroup gives rise to an arbitrage-free market model .