Definition:Restriction/Relation/Also known as

Restriction of Relation: Also known as
Some sources refer to $\RR {\restriction_X}$ as the relation induced on $X$ by $\RR$.