量化を扱ってみましょう。関係の論理を扱うときに、以下の関係を覚えておけばよいでしょう。以下のように記述されます。生成できる、という点にある。以下の基本的な記述を最初に習得してほしい。関係の包摂を述語論理を使って記述すれば以下のようになる。同義である、と思っていただきたい。いうことを記述している。1つが成立する、ということは以下のように記述される。間に共通集合を生成することもできる。(4月14日、116ページ)、述べた。y).以上の基本的な記述を習得したら、いよいよ、以下の関係の論理を扱いましょう。汎関係は以下のように記述できる。R’.これは述語論理を使って以下のように記述できる。零関係は以下のように記述できる。R’.零関係は汎関係を使って記述できる。R’.述語論理を使って記述すれば以下のようになる。(inversion)逆関係は「逆関数」のことである。(つまり、逆関数になる)。