I intervalle <=> pour tout x et y de I si x<y alors [x,y] est inclus dans I
I et J 2 intervalles de IR; I int J non vide soit c un élément de l'intersection de I et J et soit x <y deux élé de I U J
- si x est dans I ey y dans ( ou inversement) alors :
[x,c] est dans I ET [c,y] est dans J alors [x,y] est dans I U J
LES AUTRES CAS SONT TRIVIALES.