Differences
This shows you the differences between two versions of the page.
generalized_pseudo-effect_algebras [2018/08/14 17:16] jipsen created |
generalized_pseudo-effect_algebras [2018/08/15 10:18] (current) jipsen |
||
---|---|---|---|
Line 4: | Line 4: | ||
====Definition==== | ====Definition==== | ||
- | A \emph{generalized pseudo-effect algebra} is a [[separation algebra]] that is | + | A \emph{generalized pseudo-effect algebra} is a [[generalized separation algebra]] that is |
\emph{postive}: $x\cdot y=e$ implies $x=e=y$. | \emph{postive}: $x\cdot y=e$ implies $x=e=y$. |
Trace: