Propriétés de baseCouvre les propriétés de base des nombres naturels, y compris les relations d'ordre et les inverses.
Entiers et AnneauxCouvre les entiers, les anneaux, les sous-anneaux, l'inversibilité, les diviseurs de zéro et les relations d'équivalence dans les fractions formelles.
