〝若a=b且b=c，则a=c〞，这个性质称为相等关系满足递移律。 〝若ab且bc，则ac〞，这个性质称为小于关系满足递移律。 〝若三角形ABC与三角形DEF全等，且三角形DEF与三角形GHI全等，则三角形ABC与三角形GHI全等〞，这个性质称为全等关系满足递移律。