Inverse Relation
- Inverse Relation #Card
- Denoted by $R^- \subset Y \times X$, defined by $x \in R^-y \iff y \in Rx$.
Denoted by $R^- \subset Y \times X$, defined by $x \in R^-y \iff y \in Rx$.
本ノート RoyalRoad.ChapterI.relInv / Rel.inv
Denoted by $R^- \subset Y \times X$, defined by $x \in R^-y \iff y \in Rx$.
本ノート RoyalRoad.ChapterI.relInv / Rel.inv