user_operator a comme argument :
user_operator renvoie 1 si la définition a eu lieu et 0 sinon.
Exemple 1
Soit la loi R définit sur ℝ par x R y= x*y+x+y.
On tape pour définir la loi R :
On obtient :
On tape :
Bien mettre les espace autour de R.
On obtient :
Exemple 2
Soit la relation S définit sur ℕ par :
pour x et y entiers, x S y <=> x et y ne sont pas premiers entre
eux.
On tape pour définir la relation S :
On obtient :
On tape :
Bien mettre les espace autour de S.
On obtient :
On tape :
Bien mettre les espace autour de S.
On obtient :