For symmetric matrices A and B, define A  0 to mean that A is nonnegative definite and AB to mean that A − B 0.

Show that AB and BC imply AC. Also show that AB and BA imply A = B. Thus,  induces a partial order on the set of symmetric matrices.