Extensions of ordering sets of states from effect algebras onto their MacNeille completions
positive linear operators in Hilbert space
scientific article; zbMATH DE number 6203255