union est un opérateur infixé. union renvoie l’enveloppe convexe des 2 intervalles donnés en argument. On tape :
On obtient :