From AoPSWiki

A binary relation is said to be transitive or to have the transitive property if and together imply .

This article is a stub. Help us out by expanding it.

See also

• Partially ordered set
• Equivalence relation