該当部分の原文が名詞の"functional"であれば「汎関数」となります。(汎関数は,通常,関数に対して何らかの要素を割り当てるメタレベルの関数を指します。relation"で,この"functional"は「関数の」という形容詞ですから,「関数関係」の訳でよいでしょう。relationは二項関係の一種で,その二項の間に関数的な対応がある場合です。b2∈Bに関して,同じa1∈Aが対応づけられるのは認めない(つまり「a1Rb1&a1Rb2→b1=b2」)とするような場合です。Bを同一の集合としますが,その場合でも考え方は同様です。relationの基本にあるのは,(定義域の1要素に値域の1要素を対応づけるという)写像の概念です。そこでそれほど深い問題ではなく,ここでは,要するに通常の意味での「関数」の関係と考えてよいでしょう。(文脈的に考えても,ここでは「汎関数」より「関数関係」の方が適当に思われます。relationの表現を使っているように思われます。relationという表現が使われている模様で,本訳書でもおおむね「関数関係」と訳されています。関数(定義9*4も「関数関係」の方が良いかと思われます。特定の記述項目について,読む上でのポイントを考えるものです。本ホームページの主旨や注意などについては,こちら(「読解のポイントを探る」項目リストページ)をご覧下さい。2013年7月27日)。