User:Dfeuer/Definition:Cone Compatible with Closed Ringoid

Definition
Let $\struct {R, *, \circ}$ be a closed ringoid.

Let $C$ be a cone compatible with $*$.

Then $C$ is compatible with $\struct {R, *, \circ}$ for each $x, y \in R$, the following holds:
 * $x, y \in C \implies x \circ y \in C$