EDB — 1B1

[1B1]Per definizione ¹ “un insieme \(A\) è finito e ha cardinalità \(n\)” se è equipotente a un’insieme \(E_ n\) (per una scelta di \(n∈ℕ\); vi è al più un \(n\) per cui questo può avvenire, per via del il Lemma precedente). Dunque quando l’insieme è finito, \(|A|\) si identifica con il numero (naturale) dei suoi elementi, scriveremo \(|A|=n\). Se un insieme non è finito, allora è infinito.