„Jólfundált (matematika)” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→Példák: WF halmaz |
|||
2. sor:
==Formális definíció==
a<sub>0</sub> ''nem-jólfundált'' ≡ ∃a<sub>1</sub> ∃a<sub>2</sub> ∃a<sub>3</sub> … ∃a<sub>n</sub> (''a<sub>1</sub>''∈''a<sub>0</sub>'' , ''a<sub>2</sub>''∈''a<sub>1</sub>'' ... ''a<sub>n</sub>''∈''a<sub>n-1</sub>'').
Ha nem indul belőle ilyen végtelen "∈-sorozat”,azaz nem létezik fennt leírt ''a<sub>1</sub>'' elem, akkor ''a<sub>0</sub>'' '''jólfundált'''.
==Példák==
*jólfundált halmaz: 8 osztóit tartalmazó halmaz
|