Abstract We present an example that the usual natural extension of a generalized effect algebra to an effect algebra need not preserve infinite suprema, i. e. , the original generalized effect algebra need not be a (σ -) complete order ideal in the extension.
Josef Tkadlec (Mon,) studied this question.