Complex sentence: Then Ord is transitive set well-ordered by\\ in\\,; so, by definition, Ord is an ordinal.
Split into simpler sentences: Then Ord is transitive set well-ordered by\\ in. So, by definition, Ord is an ordinal.