The main purpose of this paper is to investigate some natural problems regarding the order structure of representable functionals on *-algebras. We describe the extreme points of order intervals, and give a non-trivial sufficient condition to decide whether or not the infimum of two representable functionals exists. To this aim, we offer a suitable approach to the Lebesgue decomposition theory, which is in complete analogy with the one developed by Ando in the context of positive operators. This tight analogy allows to invoke Ando's results to characterize uniqueness of the decomposition, and solve the infimum problem over certain operator algebras.

We establish a spectral characterization theorem for the operators on complex Hilbert spaces of arbitrary dimensions that attain their norm on every closed subspace. The class of these operators is not closed under addition. Nevertheless, we prove that the intersection of these operators with the positive operators forms a proper cone in the real Banach space of hermitian operators.

Let $H$ be a not necessarily separable Hilbert space, and let $\mathcal{B}(H)$ denote the space of all bounded linear operators on $H$. It is proved that a commutative lattice $\mathcal{D}$ of self-adjoint projections in $H$ that contains $0$ and $I$ is spatially complete if and only if it is a closed subset of $\mathcal{B}(H)$ in the strong operator topology. Some related results are obtained concerning commutative lattice-ordered cones of self-adjoint operators that contain $\mathcal{D}$.