Eigenclass model: Difference between revisions

Content deleted Content added
No edit summary
Line 151:
Furthermore, (1) and (2) imply that the <i>.ec</i> map is an [[order embedding]] with respect to &le;.
In particular, <i>.ec</i> is [[Injective function|injective]] &ndash; different objects have different eigenclasses.
Another consequence of (1) and (2) is that for every objects <i>x</i>, <i>y</i>,
 
:<i>x</i> &#1013; <i>y.ec</i> &nbsp; iff &nbsp; <i>x &le; y</i>,