An ordered *-space Z is a complex vector space with a conjugate linear involution *, and a strict cone Z+ consisting of self adjoint elements. A topologically ordered *-space is an ordered *-space with a locally convex ...