Tf is "the transitive law in mathematics?" There are certainly relations which are transitive, but there is not (to my knowledge) one universal transitive "law", in fact, mathematics doesn't even really have laws, it has theorems
https://www.britannica.com/topic/transitive-law
That is not a law. That is a property of laws.