Question

Can someone please HELP?

Answer 1

\({\rm For~all~non-empty~relations}~R~{\rm~from}~A~{\rm~to}~B~\\{\rm (with}~A~{\rm and}~B~{\rm being~non-empty~sets),}~~\color{blue}{R^{-1}\circ R\subseteq I_A}.\)

Answer 2

This is my CLAIM, and all I want to know is the definition of \(I_A\) in this case.

is is \(I_A=A\times A\) ?