As a non-commutative generalization of effect algebras, we introduce
pseudo-effect algebras and list some of their basic properties. For
the purpose of a structure theory, we further define several kinds
of Riesz-like properties for pseudo-effect algebras and show how
they are interrelated.
