The expression 'the train of x' is defined via an abstraction principle: the train of x equals the t...