Définition, axiomes de base et propriétés des racines