Description:
- A subset of World State, consists of only relevant and more abstract states
- Sample space
State Space Graph:
- Turns the states to nodes in a Tree
- The edges are represented by Successor Function
- Potential infinite
- if not, it has Terminal State