関数の基礎 2項関係、関数の定義

学習環境

情報系のための離散数学 (猪股俊光 (著)、南野謙一 (著)、共立出版)の第6章(関数の基礎)、章末問題の6.2の解答を求めてみる。

任意のAの元a、 b、c に対して、

\begin{array}{l} b \neq c \\ R (a, b) \land R (a, c) \end{array}

のとき、

f (a) = b \neq c = f (a)

となるので、一般には関数を定めることができない。