Complex sentence: 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.
Split into simpler sentences: Thus, in the formal definition, the next state is an element of the power set of states. This element, itself a set, represents some subset of all possible states to be considered at once.