状態の無限列w_0,w_1,w_2,\cdotsで任意のi\ge 0に対してw_iRw_{i+1}を満たすもの