順序単位
順序錐 K ⊆ X {\displaystyle K\subseteq X} の順序単位は、 K {\displaystyle K} の代数的内部 core  ( K ) {\displaystyle \operatorname {core} (K)} の元である。