network/graph of nodes (states) and the links are actions
a directed network or graph where nodes contain states and the edges are actions.
set of all states reachable from the initial state by any sequence of actions