Tester si 2 ensembles (ou listes) sont inclus(e) l’un(e) dans l’autre :is_included, est_inclus

### 6.41.2 Tester si 2 ensembles (ou listes) sont inclus(e) l’un(e) dans l’autre :is_included, est_inclus

est_inclus ou is_included teste si l’ensemble (ou la liste considérée comme un ensemble) mis comme premier argument est contenu dans l’ensemble (ou la liste) mis comme deuxième argument en renvoyant 0 ou 1.
On tape :

est_inclus(set[1,2,3,4],set[1,2,5,6,3,4])

Ou on tape :

est_inclus(% {1,2,3,4% },% {1,2,5,6,3,4% })

On obtient :

1

On tape :

est_inclus([1,2,3,4],[1,2,5,6,3,4])

On obtient :

1

Attention, set[1,2,3,4,2] renvoie set[1,2,3,4,], d’où les résultats suivants.
On tape :

est_inclus(set[1,2,3,4,2],set[1,2,5,6,3,4])

Ou on tape :

est_inclus(% {1,2,3,4,2% },% {1,2,5,6,3,4% }

On obtient :

1

On tape :

est_inclus([1,2,3,4,2],[1,2,5,6,3,4])

On obtient :

1