u ⇒_{G} v iff ∃_{w_{1},w_{2}∈V^{∗}} : ∃_{(u′,v′)∈R} : u = w_{1}u′w_{2} ∧ v = w_{1}v′w_{2}