Conjunt de condicions que han de complir dos nombres enters per tal que es pugui efectuar la divisió exacta de l'un (dividend) per l'altre (divisor).