Definition:Non-Transitive Relation

From ProofWiki
Jump to navigation Jump to search


Let $\RR \subseteq S \times S$ be a relation in $S$.

$\RR$ is non-transitive if and only if it is neither transitive nor antitransitive.

Also known as

Some sources use the term intransitive.

However, as intransitive is also found in other sources to mean antitransitive, it is better to use the clumsier, but less ambiguous, non-transitive.

Also see

  • Results about non-transitive relations can be found here.