Loewner ordering
Let be a Hilbert space, and let be symmetric operators on .
We define the Loewner order on by declaring if is a positive semidefinite invertible bounded operator
on , and if is a positive semidefinite invertible bounded operator on .