X Y Graph(T) (xₙ, Txₙ) x y = Tx