Neste modelo de diagrama de flechas, o domínio é o conjunto do qual as flechas partem (normalmente fica à esquerda):
Domínio {1, 2, 3, 4}
A Imagem é composta pelos elementos para os quais as flechas apontam:
Imagem {5, 6, 7}
E o contra domínio é o conjunto no qual as flechas terminam (aqui por coincidência é igual a Imagem, mas nem sempre é assim):
Contra-domínio {5, 6, 7}