Category:Ordinal is Transitive