Set of infinite words that is closed with respect to the natural product topology and invariant under the shift operator