Definition:Non-transitive Relation

Definition

Let $\mathcal R \subseteq S \times S$ be a relation in $S$.

$\mathcal R$ is non-transitive iff it is neither transitive nor antitransitive.

Also see

• Transitivity of Relations

• Transitive Relation
• Antitransitive Relation

• Results about relation transitivity can be found here.