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:
