複数世界(可能世界)間で移動できる関係

ある世界w_1からw_2に移動できる時、w_2はw_1から到達可能であると言う

到達可能性関係は、w_1とw_2の間の二項関係と言える

例えば、プログラムの、 t 秒後での世界と t+1 秒後の世界は、1秒待てば移動できる