Egalité des environnements
R
1
=
A
R
2
: si x n'appartient pas à A alors
c
(x , R
1
) =
c
(x , R
2
)
R
1
=
t
R
2
: R
1
=
{ x | x > t ou x = t }
R
2
R
1
=
t , ac
R
2
: R
1
=
{ x | x > t ou x = t ou x = ac }
R
2
6
Dernières modifications : Fri Feb 11 18:53:48 MET 2000