抽象化

いくつかの具体的な対象 $A_1, A_2, \ldots, A_k$ について、それぞれで成り立つ性質のうち共通するものだけを取り出して条件 $P$ とし、以後は「$P$ を満たすもの」だけを対象として議論することを、抽象化といいます。このとき $A_1, \ldots, A_k$ で成り立っていた個別の性質のうち $P$ に含まれないものは、意図的に忘れます。