na-adjective
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.
「A⊆BかつB⊆CならばA⊆C」という性質は、包含関係が推移的であることを示している。
The property 'if A⊆B and B⊆C then A⊆C' shows that the subset relation 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'.