In set theory, a branch of mathematics, a set is called transitive if either of the following equivalent conditions hold: whenever, and, then. whenever, and is not an urelement, then is a subset of. Similarly, a class is transitive if every... Wikipedia