Antirrestrição da imagem em Z

Ele verifica o segundo valor e remove o par inteiro. Uma relação associa valores em pares: x ↦ y indica que x está ligado a y. Sua imagem é o conjunto dos segundos valores. Em R ⩥ T, R é a relação e T contém os valores a excluir.

Por exemplo, se R = {1 ↦ 2, 2 ↦ 3, 4 ↦ 2} e T = {2}, então R ⩥ T = {2 ↦ 3}. Os dois pares que terminam em 2 desaparecem. O par que começa com 2 permanece porque seu segundo valor é 3.

Os pares restantes não mudam: ⩥ não substitui seus valores nem inverte sua ordem. Antirrestrição significa excluir os valores selecionados; a restrição da imagem mantém apenas os pares com esses valores.