Manuscript En05-C@1 · En05-C.tex · section · aa213ea6
Compatible states and effects
Stage H: a constructed bounded-sequence observable limit › Compatible states and effects · lines 1922–1928
Choose a state on extending the ordinary limit on convergent scalar sequences. Such a state follows from the positive state-extension theorem. It vanishes on .