Löwner order (source code)

= Löwner order
{c}
{wiki}

For <Hermitian operator>[Hermitian operators] $A$ and $B$, one writes $A\leq B$ when $B-A$ is positive semidefinite. This partial order is also called the semidefinite order.