User:Dfeuer/Definition:Strictly Positive Cone
Jump to navigation
Jump to search
Definition
Let $(G,\circ)$ be a group.
Let $P$ be a cone compatible with $(G,\circ)$.
Then $P$ is a strict positive cone iff:
- $P \cap P^{-1} = \varnothing$
That is, if $P$ satisfies Cone Condition Equivalent to Asymmetry.