経路
状態の無限列
$ w_0,w_1,w_2,\cdots
で任意の
$ i\ge 0
に対して
$ w_iRw_{i+1}
を満たすもの
/mrsekut-book-4007305803/129