Legyenek a\neq 0, b és c egy integritástartomány valamely elemei, amelyekre teljesül az alábbi:

Ekkor ha b és c közül valamelyik egység, akkor a másik a-nak asszociáltja.

Fordítva: ha b és c közül valamelyik a-nak asszociáltja, akkor a másik egység.