Definition 41.11.4 (Abstract Operator System).label Let $S$ be a matrix ordered space, then $S$ is an abstract operator system if $M_{n}(S)$ is Archimedean for all $n \in \nat$, and $S$ admits a matrix order unit.
Definition 41.11.4 (Abstract Operator System).label Let $S$ be a matrix ordered space, then $S$ is an abstract operator system if $M_{n}(S)$ is Archimedean for all $n \in \nat$, and $S$ admits a matrix order unit.
Post a Comment