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 (2026) studied this question.