A reláció értelmezési tartománya: az alaphalmaznak azok az elemei alkotják, amelyekhez az adott kapcsolatban tartozik képhalmazbeli elem. (Amelyekből nyíl indul ki.) Az értelmezési tartomány jele legyen: ÉT

Példánkban:

ÉT = {Jancsi; Peti; Kati}