„Szerkesztő:Gubbubu/Halmazelmélet/Részhalmazok” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
|||
6. sor:
=== Definíció ===
Legyen A,B két osztály. Azt mondjuk, A '''alosztály'''a vagy '''részosztály'''a B-nek, illetve B bővebb mint A, ha A minden eleme egyben B-nek is eleme. Jelben:
<center>
A definíciónk logikai formulákkal a következő:
<center>
vagy
<center>
=== alaptulajdonságai ===
| |||