一般化
一般化（いっぱんか、）とは、抽象化の一形態で、特定の実例の共通の特性を一般的な概念や主張として定式化するものである。一般化においては、ドメインや要素の集合、およびそれらの要素に共通する1つ以上の共通の特性の存在を仮定する（すなわち、概念モデルを作成する）。このように、一般化は（特に論理学、数学、科学の分野では）全ての有効な演繹的推論の本質的な基礎であり、一般化がいかなる状況においても真であるかどうかを判断するためには検証のプロセスが必要となる。
一般化は、全体を構成する部分を、全体に属するものとして識別するプロセスを指す場合にも使われる。単独では無関係のように見える個々の部分も、それらの間に共通の関係を確立することによって、グループとしてまとめられ、それゆえに全体に属することになるかもしれない。しかし、「全ての」部分の間に共通の関係が確立されるまでは、部分を全体として一般化することはできない。これは、部分が無関係であることを意味するのではなく、一般化のための共通の関係がまだ確立されていないことを意味する。
一般化の概念は、多くの関連する分野で広く応用されており、時には専門的な文脈でより特定の意味を持つこともある（例えば、心理学での一般化、など）。
一般的に、2つの関連する概念"A"と"B"が与えられた場合、以下の場合に「"A"は"B"の一般化である」（あるいは、「"B"は"A"のである」）と言える。
例えば、「動物」という概念は、「鳥」という概念を一般化したものであり、全ての鳥は動物であるが、全ての動物が鳥であるわけではない（例えば犬）。詳しくは、を参照。