Induktivt set
Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 22 september 2019; kontroller kräver 2 redigeringar .En induktiv mängd är en mängd som antingen är tom eller så finns det ett positivt heltal för den så att mängden innehåller exakt medlemmarna [1] . Om en mängd är induktiv är den ändlig och kan inte vara reflexiv. En reflexiv mängd är en mängd som är ekvivalent med sin egen delmängd . En mängd är finit om den är icke-reflexiv. En reflexiv uppsättning kan inte vara induktiv. Under villkoret av sanningen i valets axiom är alla befintliga mängder antingen induktiva eller reflexiva, den tredje är inte given [2] . Det finns inga mängder med kardinalitet mellan kardinaliteterna för finita och oändliga mängder [2] .
Se även
Anteckningar
- ↑ Frenkel, 1966 , sid. 85.
- ↑ 1 2 Frenkel, 1966 , sid. 86.
Litteratur
- Frenkel A. A. , Bar-Hillel R. Mängdlärans grunder. — M .: Mir, 1966. — 555 sid.