有限集合の要素の個数と自然数の演算 さて、 が有限集合で、 であるとき、実は以下のことが成り立つことが示されます。 、等号は のとき成り立つ。 証明は、いずれも後で紹介する参考書に略解が載っていますので、そちらを参考にしてください。かくして、自…