effect algebra, Hilbert space effect-representation, MacNeille completion, MV-effect algebra, positive linear operators in Hilbert space.
