Congruence preserves positivity in a C-star algebra ($a\ge 0⟹c^{\ast }ac\ge 0$)

For a positive element $a$, its positive square root in a C-star algebra gives $c^{\ast }ac=(a^{1/2}c{)}^{\ast }(a^{1/2}c)$, which is positive. Applying this to $b-a$ shows that $a\le b$ implies $c^{\ast }ac\le c^{\ast }bc$. The map need not preserve multiplication, but it preserves order; if $c$ is invertible, the inverse congruence also preserves order.