 Positive semidefinite trace nonnegativity

For real positive semidefinite matrices $A,B$, their product need not be symmetric, but its matrix trace is nonnegative:The equality uses the cyclic property of the matrix trace, and the last matrix is a positive semidefinite matrix. Consequently the Loewner order inequality $A⪯C$ implies $\mathrm{tr}(AB)\le \mathrm{tr}(CB)$ whenever $B⪰0$.