传递性

（数学定义）

传递性是在逻辑学和数学中，若对所有的 a，b，c ∈X，下述语句保持有效，则集合上的二元关系 R 是传递的：「若a 关系到 b 且 b 关系到 c，则 a 关系到 c。」若，其中为某种关系运算符。