La définition de la divisibilité et de la transitivité