Definition 41.11.2 (Matrix Order Unit).label Let $S$ be a matrix ordered space and $e \in S$, then $e$ is a matrix order unit if $I_{n} \otimes e \in M_{n}(S)$ is an order unit for all $n \in \natp$.
Definition 41.11.2 (Matrix Order Unit).label Let $S$ be a matrix ordered space and $e \in S$, then $e$ is a matrix order unit if $I_{n} \otimes e \in M_{n}(S)$ is an order unit for all $n \in \natp$.
Post a Comment