transitivity (113B)
1 # Transitivity 2 3 - [transitivity_tgds] 4 - [transitive_closure] 5 6 Up: [mathematics] 7 8 See also: [relation_transitive]