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

• Results about inverse relations can be found here.