Definition:Dual Relation/Inverse of Complement
Jump to navigation
Jump to search
Definition
Let $\RR \subseteq S \times T$ be a binary relation.
Then the dual of $\RR$ is denoted $\RR^d$ and is defined as:
- $\RR^d := \paren {\overline \RR}^{-1}$
where:
- $\overline \RR$ denotes the complement of $\RR$
- $\paren {\overline \RR}^{-1}$ denotes the inverse of the complement of $\RR$.
Sources
- 2010: Gunther Schmidt: Relational Mathematics: $\S 4$ Definition $4.5$