基礎論で写像の定義にグラフを使うのかよw