Now that I think about it, the modulus can never form a monoidal poset.

Using some advanced abstract nonsense, one can see the modulus forms a coequalizer, which I believe is enough to show that any two complex numbers sharing the same modulus must be in an equivalence relationship.