Definition:Inverse Relational Structure

Definition
Let $\struct {S, \RR}$ be a relational structure.

Let $\RR^{-1}$ be the inverse of $\RR$.

The ordered set $\struct {S, \RR^{-1} }$ is called the inverse relational structure (or just inverse) of $\struct {S, \RR}$.

Also see

 * Definition:Inverse Relation