如果A=B,B=C,所以A=C.这叫做什么性质?