" for short. The three characteristics which

must have in order to be serial are:

(1) We must never have

, i.e. no term must precede itself.

(2)

must imply