transitive
Used in mathematics and logic to describe a relation R such that if aRb and bRc, then aRc. Technical term; not used for grammatical transitivity.
集合の包含関係は推移的である。
The inclusion relation between sets is transitive.
Symmetric (if aRb then bRa), another property of binary relations.
From 推移 (transition, change) + 的 (-like, -tic). The mathematical sense is a direct translation of English 'transitive'.