有限集合だけを考える。 $`A = \{a_1, a_2, a_3\}`$ $`B = \{b_1, b_2\}`$ $`C = \{c_1, c_2\}`$ $`A`$ を次のように描く、$`B, C`$ も同様。 関数も関係も集合だと思えば列挙可能。有限集合の世界では、あらゆるものが具体的に列挙可能。 関数は逆関数が作…