Redaktsioon: 28. juuli 2009, kell 17:55 redigeeri Andres (arutelu \| kaastöö) Bürokraadid, Liidese administraatorid, Administraatorid 413 808 muudatust Resümee puudub ← Vanem muudatus		Redaktsioon: 28. juuli 2009, kell 22:39 redigeeri eemalda Andres (arutelu \| kaastöö) Bürokraadid, Liidese administraatorid, Administraatorid 413 808 muudatust →‎Hulkade võrdsus ja hulga ekstensionaalsus Uuem muudatus →
67. rida: == Hulkade võrdsus ja hulga ekstensionaalsus == Kaht hulka loetakse [[võrdsus\|võrdseks]] ehk [[identsus\|identseks]] [[parajasti siis, kui]] ~~mõlemad~~mõlemasse ~~hulgad~~hulka ~~sisaldavad~~kuuluvad ~~samu~~ühed ~~elemente.~~ja samad ~~Seda~~elemendid. ~~asjaolu~~Hulkade ~~nimetatakse~~''A'' ~~[[hulga~~ja ~~ekstensionaalsus]]eks{{ref\|d\|[d]}}~~''B'' javõrdsust tähistatakse võrdusmärgiga: ''A''=''B''. ~~Seejuures pole tähtis, kuidas elementide kuuluvust väljendatakse.~~ Seda asjaolu nimetatakse [[hulga ekstensionaalsus]]eks{{ref\|d\|[d]}}. Hulga ekstensionaalsusest järeldub muuseas, et leidub vaid üks [[tühi hulk]]: oletades, et lisaks tühjale hulgale leidub veel mõni hulk, millel pole ühtki elementi, siis peab ta olema võrdne tühja hulgaga, sest neil on "samad elemendid".▼ ▲Hulga ekstensionaalsusest järeldub muuseas, et leidub vaid üks [[tühi hulk]]:. ~~oletades~~Tõepoolest, etkui ~~lisaks~~oletada, ~~tühjale hulgale~~et leidub ~~veel~~ mõni muu hulk, millel ~~pole~~ei ole ühtki elementi, siis ~~peab~~ ta ~~olema~~peab ~~võrdne~~olema tühja hulgaga võrdne, sest neil on "ühed ja samad elemendid". == Alamhulgad ==

Hulk: erinevus redaktsioonide vahel