传递性与不具传递性

传递性：
数学和逻辑学上定义：
若 ，其中 为某种关系运算符。
则：
表述：
若x,y,z∈R，x关系到y，y关系到z，则x关系到z.称为具有传递性。
e.g.:
若a,b,c∈R,且a=b,b=c,则a=c，就称为有传递性。

非传递性：
我认识你，你认识他，我不一定认识他。