svp c'est quoi la régle général pour démontrer
qu'un loi de composion interne
est bien définie
aidez moi svp