Legyen R egy tetszőleges integritástartomány, amelyben bármely két elemnek létezik kitüntetett közös osztója. Ekkor tetszőleges a, b és c elemekre érvényes az alábbi összefüggés:
(ac,bc)\sim (a,b)\cdot cAzaz (ac,bc) és (a,b)c mindig egymás asszociáltjai.