Sejam a,b, ? Z, sendo ao menos um deles
diferente de zero. O máximo divisor comum de a e b é um numero inteiro d tal
que valem:

i)
d/a e d/b

ii)
Se c ? Z é tal que
c/a e c/b, então c/d

Logo: mdc ( a,b) = max D(a,b)