Analytic / CONCEPT
CompactConvexOrder
Compact interval convex order includes both mass-one support conditions, equality of means, and all tests that are convex and continuous on the interval. No strict endpoint, absolute continuity, or finite-support condition is imposed. Stop-loss comparison gives the lower integrated-quantile inequalities used by conditional-mean discretization.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES2
PROOF DEPTH1
DOCUMENT LINKS0
lowerIntegratedQuantile_ge_of_convexOrderOnIcc
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- CompactQuantilestructural-affinity · Closed
- CompactStrassenstructural-affinity · Closed
- ConditionalMeanApproximationstructural-affinity · Closed
- ConditionalMeanAtomsstructural-affinity · Closed
- Extended Farkas Alternativestructural-affinity · Closed
- Finite Attainment for Extended Linear Programsstructural-affinity · Closed
- FiniteMajorizationstructural-affinity · Closed
- FiniteMartingaleCouplingstructural-affinity · Closed
- General cost probability transportstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance