رابطه همانی

به رابطه روی مجموعهٔ ناتُهیِ A {\displaystyle A} یک رابطهٔ همانی گفته می شود اگر هر عضو A {\displaystyle A} تنها با خودش آن رابطه را داشته باشد. رابطهٔ همانی روی مجموعهٔ A {\displaystyle A} را با I A {\displaystyle I_{A}} نمادگذاری می کنند.
هر رابطهٔ همانی بازتابی است ولی عکس آن صادق نیست.
مجموعهٔ حاصل از رابطهٔ همانی یکتا است.
رابطهٔ همانی یک زیرمجموعهٔ سره از رابطهٔ بازتابی است.
به زبان ریاضی:
بنابراین رابطهٔ همانی روی یک مجموعهٔ n {\displaystyle n} عضوی مثل A {\displaystyle A} حاوی n {\displaystyle n} زوج مرتب است و دامنه و بُرد آن برابر مجموعهٔ A {\displaystyle A} خواهد بود.
رابطهٔ همانی دارای تفاوت های زیر نسبت به رابطهٔ بازتابی است: