A halmaz és a halmaz eleme
Alapfogalmak, ezeket a kifejezéseket nem definiáljuk
De a halmaz megadásának szigorú követelménye van : egy halmazt úgy kellmegadnunk, hogy minden szóba jöhető dologról egyértelműen eldönthető legyen, hogy az adott halmazhoz tartozik vagy sem
A halmazokat nyomtatott nagy betűvel, a halmaz elemeit kisbetűvel jelöljük
Két halmaz egyenlő
Ha ugyanazokat az elemeket tartalmazzák
Üres halamz
Az elem nélküli halmazt üres halmaznak nevezzük
Részhalmaz
Az A halmaz részhalmaza a B halmaznak, ha A minden eleme a B halmaznak is eleme
Valódi részhalmaz
Az A halmaz valódi részhalmaza a B halmaznak, ha A részhalmaza a B-nek, de nem egyenlő vele
Halmazok tulajdonságai
Az üres halmaz minden halmaznak részhalmaza
Minden halmaz önmaga részhalmaza
Ha A részhalmaza B-nek és B részhalmaza A-nak, akkor A=B
Ha A részhalmaza B-nek és B részhalmaza C-nek, akkor A részhalmaza C-nek
Alaphalmaz
Azt a halmazt, amelynek a vizsgált halmazok részhalmazai, alaphalmaznak vagy univerzumnak nevezzük
Komolementer halmaz
Egy A halmaz komolementer halmazának az alaphalmaz azon elemeinek halmazát nevezzük, amelyek az A halmaznak nem elemei
Unió
Két vagy több halmaz unioja vagy egyesítése mindazon elemek halmaza, amelyek legalább az egyik halmaznak elemei
Metszet
Két vagy több halmaz metszetek vagy közös része pontosan azoknak az elemek ék a halmaza, amely mindegyik halmaznak elemei
Diszjunkt
Két halmaz diszjunkt, ha nincs közös elemük, vagyis a metszetük üres halmaz
Különbség
Az A és B halmaz különbsége az A halmaz mindazon elemeinek halmaza, amelyek a B halmaznak nem elemj
Kör
Azoknak a pontoknak a halmaza a síkon, amelyek a sík egy adott O pontjáról R távolságra vannak, egy O középpontú, r sugarú kör
Gömb
Azoknak a pontoknak a halmaza a térben, amelyek a tér adott O pontjától adott R távolságra vannak, egy O középpontú, r sugarú gömb
Párhuzamos egyenes pár
Adott egyenestől adott távolságra lévő pontok halmaza a síkon az egyenessel párhuzamos egyenes pár
Hengerfelulet
Adott egyenestől adott távolságra lévő pontok halmaza a térben olyan hengerfelület, amelynek tengelye az adott egyenes
Felezőmerőleges egyenes
Két ponttól egyenlő távolságra lévő pontok halmaza a sikban a szakasz felezőmerőleges egyenese
Felezőmerőleges sík
Két ponttól egyenlő távolságra lévő pontok halmaza a térben a szakasz felezőmerőleges síkja
Középpárhuzamos
Két párhuzamos egyenestől egyenlő távolságra lévő pontok halmaza a sikban olyan egyenes, amely a két adott egyenessel párhuzamos és távolságukat felezi
Szögfelező egyenes
Két metsző egyenestől egyenlő távolságra lévő pontok halmaza az általuk bezárt szögek szögfelező egyenesei, két ilyen egyenes van, ezek merőlegesek egymásra
Parabola
Egy egyenestől és egy rajta lévő ponttól egyenlő távolságra lévő pontok halmaza a síkon
Az adott pont a parabola fókuszpontja, az adott egyenes a parabola vezéregyenese (direktrixe),a pont és az egyenes távolsága a parabola paramétere
Látókörívek
Azoknak a pontoknak a halmaza a síkon, amelyekből egy adott szakasz adott L szögben (0°<L>180°) látszik két, a szakasz egyenesére szimmetrikusan elhelyezkedő körív</L>
Részhalmazok száma T
Az n elemű halmaz összes részhalmazainak száma 2 az n-ediken
A 3szög 3 oldalfelező merőlegese
Egy pontban metszik egymást