Representation and selecting properties

These are the equations of XXII-A CheungXXIIA (def:representation). Generation excludes an independently appended supercone; faithfulness excludes extra comparisons introduced by convexification or closure.

For a proper cone,

Homogeneity means that this group acts transitively on $\mathrm{int}K$. Cone strict convexity means

These are properties of the constructed event-difference cone, not identities with operator positivity or scheduler interleavings.