A relation describing which worlds are reachable.