Modulus

Definition

Modulus of with is the nonnegative real number:

like getting magnitude with Pythagorean

We compare two complex numbers by comparing their moduli

Properties
Proof for 4

Taking the non-negative square root on both sides dives