りんごが２個とみかんが３個と、具体的な物から、2, 3という数への抽象化。
2+3=3+2 と、具体的な数から、x+y = y+x という式への抽象化。
x+y という具体的な式から、一般の式 f(x) への抽象化。
x+y という具体的な加法から、一般の演算への抽象化。
　・・・・