²Or, if the number of states is infinite, it is restricted to what is called countably infinite, which is the “smallest” kind of infinity, meaning that the states can be indexed by integers.