Ideal topology on convex effect algebras

An convex effect algebra is an effect algebra in which a scalar product is defined, that is, assume E is an effect algebra, for every a is an element of E and lambda is an element of [0, 1] subset of R, then there exists an element lambda a such that some properties hold. In this paper, we study the ideal topology of convex effect algebras, we will show that the scalar product is continuous with respect to the ideal topology.