FunctionalGraph

から まで，集合 と関数 を取り，頂点集合 と の各 についての辺を持つ有向グラフを構築する．

各 に対する頂点集合が で辺の集合がであるグラフを構築する．値としてDirectedとUndirectedを取る，というオプションを使うことができる．Type->Directedがデフォルトであり，Type->Undirectedでは対応する根底の無向グラフが返される．

から自身に対して，非負の整数 と関数 を取る．頂点集合，各頂点 に対する辺の集合を持つ有向グラフを生成する．