t∈X ⇒ G = { <y,x> | <x,y>∈F ∨ ∀x <x,y>∉F,x= t }⇒ GF = id_X