グラフというのは文字式(等式)の世界であり
関数(写像)の世界でもある
グラフの存在性からある式を
関数と看做したり
文字式として扱うことができる