It is proved that two different common generalizations of orthocomplete and lattice effect algebras coincide within the class of separable Archimedean effect algebras.
It is proved that two different common generalizations of orthocomplete and lattice effect algebras coincide within the class of separable Archimedean effect algebras. (en)