Szerkesztő:Parpet/Számosság

(1) A azonos számosságú B-vel, vagy A akvivalens B-vel (A~B), ha $\exists \varphi :A\rightarrow B$bijekció.

(2) A számossága nagyobb B számosságánál, ha $A\nsim B$és $\exists A^{*}\subset A:A^{*}\sim B.$

A véges halmaz, ha $A=\emptyset$vagy $A\sim \{1,2,\ldots ,n\}n\in \mathbb {N}$