transitive

{{set theory}}: Of a relation ''R'' on a set ''S'', such that if ''xRy'' and ''yRz'', then ''xRz'' for all members ''x'', ''y'' and ''z'' of ''S'' (that is, if the relation applies from one element to a second, and from the second to a third, then it also applies from the first element to the third).