Definition 4.1 (Loewner order). For $A$, $B$ matrices, write $A\preccurlyeq B$ if $B-A$ is positive semidefinite. In particular, $A\succcurlyeq 0$ if and only if $A$ is positive semidefinite.