Antirestriction de l’image en Z

Il examine la seconde valeur et retire le couple entier. Une relation associe des valeurs deux à deux : x ↦ y indique que x est lié à y. Son image est l’ensemble des secondes valeurs. Dans R ⩥ T, R est la relation et T contient les valeurs à exclure.

Par exemple, si R = {1 ↦ 2, 2 ↦ 3, 4 ↦ 2} et T = {2}, alors R ⩥ T = {2 ↦ 3}. Les deux couples se terminant par 2 disparaissent. Celui qui commence par 2 reste, car sa seconde valeur est 3.

Les couples restants ne sont pas modifiés : ⩥ ne remplace pas leurs valeurs et n’inverse pas leur ordre. L’antirestriction exclut les valeurs sélectionnées ; la restriction de l’image ne conserve que les couples ayant ces valeurs.