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$.