Generalized orthoalgebras
Defined as
cancellative commutative consistent partial monoids
or
consistent separation algebras
.