<div dir="auto">I think it's more mathematically clear to define `abs` by U(R) acting on R. U(R) acts on R via multiplication, which defines an equivalence relation on R called 'associatedness.'</div>