Definition:Restriction/Relation/Also known as

From ProofWiki
Jump to navigation Jump to search

Restriction of Relation: Also known as

Some sources refer to $\RR {\restriction_X}$ as the relation induced on $X$ by $\RR$.