C*-algebra, conditional expectation, convex effect algebra, effect algebra, MV-algebra, MV-effect algebra, ordered vector space.
