可递性

transitivity