Si "a" y "b" son números enteros distintos de cero y si el número "c" es de modo que "c"|"a" y a su vez "c"|"b", a este número "c" se denomina "divisor común" de los números "a" y "b".