二項関係
X の各元 x, y, z について、x R y かつ y R z ならば x R z となるとき、関係 R は推移的であるという。
「先祖である」という関係は推移的である。実際、x が y の先祖で、y が z の先祖ならば、x は z の先祖である。