equivalence relation on elements of a ring, where two elements are associated to each other if one is the product of the other and a unit
