A set of infinite words over A is a shift space if it is closed with respect to the natural product topology of A^\mathbb N and invariant under the shift operator.
Some authors[REF] use the term subshift for a set of infinite words that is just invariant under the shift, and reserve the term shift space for those that are also closed.