「一般化」 とは、対象を 「共通の性質」 に従って、対象の 「集合」 を総括することである。
　そのために、「述語 （「性質」 とも云う） を使って、概念の共通化を扱う。

　例えば、以下の文を仮想する。

　（１） 佐藤正美は男で ある。
　（２） 佐藤敦は男である。
　（３） 佐藤剛は男である。
　（４） 佐藤大地は男である。
　（５） 佐藤 恵美子は女である。
　（６） 稲森いずみは女である。

　「男である」 という述語 （性質） を使って、以下の集合が形成で きる。

　　　　男の集合 ＝ ｛佐藤正美, 佐藤敦, 佐藤剛, 佐藤大地｝.

　「女である」 という述語 （性質） を使って、以下の集合が形成できる。

　　　　女の集合 ＝ ｛佐藤恵美子, 稲森いずみ｝.

　「ｘ には性質 Ｐ が帰属する」 は、集合 ｛ｘ ∈ Ａ｝ と同値である。言い換えれば、集合 Ａ は、述語 Ｐ が帰属する モ ノ の 「集合」 である。「ｘ には性質 Ｐ が帰属する」 という文は、Ｐ(x) --つまり、ｆ (x) --という関数表現と同値である [ １つの変数の関数 ｆ (x) は、「性質」 を表現すると覚えればよい ]。

　論理式 ｆ (x) のことを 「内包 （または、意味）」 といい、関数 ｆ (x) を使って形成される集合 Ａ を 「外延 （または、クラス）」 という。「内包」 が正しい 「外延」 を形成することを 「周延」 という （「周延」 については、後日、詳細に解説する） 。□