Osztály (halmazelmélet)
a matematikában a halmazok gyűjteménye, amely a tagok valamely tulajdonsága alapján definiálható / From Wikipedia, the free encyclopedia
Az osztály matematikai szakkifejezés arra a fogalomra, amit a mindennapi életben dolgok, tárgyak, fogalmak összességének nevezünk. Az osztályok legfontosabb tulajdonsága az úgy nevezett extenzionalitás, azaz hogy egy osztályt egyértelműen meghatározza az, hogy mely dolgok az elemei, ráadásul ez független az elemek felsorolási sorrendjétől és attól is, hogy egy elemet hányszor soroltunk fel. Tehát
- Az A osztály akkor és csak akkor egyenlő a B osztállyal, ha ugyanazok az elemeik.
Ez a szócikk nem tünteti fel a független forrásokat, amelyeket felhasználtak a készítése során. Emiatt nem tudjuk közvetlenül ellenőrizni, hogy a szócikkben szereplő állítások helytállóak-e. Segíts megbízható forrásokat találni az állításokhoz! Lásd még: A Wikipédia nem az első közlés helye. |
Az osztályelmélet jellegzetes kifejezései a {…|…} objektumok. A P tulajdonságnak eleget tévő dolgok osztályát
jelöli. Mivel ez egyezik a halmazok tulajdonsággal történő megadásával, ezért el is érkeztünk az osztályok elméletének leglényegesebb kérdéséhez, ahhoz, hogy mi a kapcsolatuk a halmazokkal.