Niech a,b\in\mathbb{Z}. Wówczas liczbę d\in\mathbb{N_+} nazywamy największym wspólnym dzielnikiem liczb a i b, jeśli d jest największą liczbą naturalną która dzieli obie z nich (jest ich dzielnikiem), tj. d|a i d|b. Symbolicznie zapisujemy \text{NWD}(a,b)=d lub \text{nwd}(a,b)=d.