)In Allgemeinen besitzen solche Ringe keine Halbordnung, die antisymmetrisch ist, wie die ganzen oder die natürlichen Zahlen eine haben. ###>In particular, recalling that gcd is a positive integer valued function (i.e., gets natural values only) we obtain that if and only if and .