transitive law

[ریاضیات] قانون تعدی