Diskrétna matematika (teória)

Def.: (rovnaká mohutnosť) Množiny A,B majú rovnakú mohutnosť ó $ bijektívne zobrazenie z A do B
Def.: (konečnej množiny) A je konečná množina ó ak má k prvkov, kde kÎN
Def.: (nekonečná množina) Ak množina A je nekonečná ó ak nie je konečná
Def.: (spočitateľná množina) je množina A ó ak má rovnakú mohutnosť ako N
Veta: Množina A je spočitateľná práve v tedy ak je nekonečná a jej prvky sa dajú usporiadať do postupnosti
Veta: Ak A má rovnakú mohutnosť ako B a B má rovnakú mohutnosť C potom C má rovnakú mohutnosť ako A
Def.: (mohutnosť množiny) A je symbol card(A) ktorý priradíme triede " množín, ktoré majú rovnakú mohutnosť
Def.: (AxB={(a,b); aÎA,bÎB})
Veta: Ak A,B sú spočitateľné množiny, potom aj AxB je spočitateľná.
Veta: A - množina, P(A) - množina " podmnožín množiny A Ţ card (A)ącard(P(A))