Thus, in the formal definition, the next state is an element of the power set of the states, which is a set of states to be considered at once.
The next state is an element of the power. This is in the formal definition. This is thus. This power is set of the states. The states is a set of states to be considered at once.