A restriction on which successor states are considered reachable or believable from a given source world.