Legyen R tetszőleges integritástartomány, amelyben létezik egységelem. Legyenek továbbá a, b és d az R tetszőleges elemei, és tegyük fel, hogy (a,b)=(d) teljesül. Ekkor d kitüntetett közös osztója a-nak és b-nek.