17 vztahy: Binární relace, Dedekindův řez, Infimum, Matematika, Množina, Nejmenší a největší prvek, Omezená množina, Přirozené číslo, Podmnožina, Potenční algebra, Potenční množina, Reálné číslo, Supremum, Svaz (matematika), Teorie uspořádání, Tranzitivní relace, Uspořádaná množina.
Binární relace
Binární relace je pojem z matematiky, vyjadřuje vztah (relaci) prvků jedné množiny k prvkům v množině druhé.
Nový!!: Úplný svaz a Binární relace · Vidět víc »
Dedekindův řez
Definice \sqrt2 pomocí Dedekindových řezů Dedekindův řez je matematický pojem z oboru teorie množin, který je využíván při množinové konstrukci číselného oboru reálných čísel.
Nový!!: Úplný svaz a Dedekindův řez · Vidět víc »
Infimum
Infimum (někdy též průsek) je matematický pojem z oboru teorie uspořádání, který je často používán především při zkoumání vlastností reálných čísel.
Nový!!: Úplný svaz a Infimum · Vidět víc »
Matematika
Ilustrace šíře matematických disciplín Matematika (z řeckého (mathématikos).
Nový!!: Úplný svaz a Matematika · Vidět víc »
Množina
Množiny Množina je soubor objektů, chápaný jako celek.
Nový!!: Úplný svaz a Množina · Vidět víc »
Nejmenší a největší prvek
Jako největší prvek množiny se označuje takový prvek, který je větší než všechny ostatní prvky této množiny.
Nový!!: Úplný svaz a Nejmenší a největší prvek · Vidět víc »
Omezená množina
Pojem omezená množina lze definovat pro množiny reálných čísel nebo obecněji pro metrické prostory.
Nový!!: Úplný svaz a Omezená množina · Vidět víc »
Přirozené číslo
Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.
Nový!!: Úplný svaz a Přirozené číslo · Vidět víc »
Podmnožina
B je podmnožina A, A je nadmnožina B V matematice se jako podmnožina množiny A označuje taková množina B, o jejíchž všech prvcích platí, že jsou zároveň i prvky množiny A. Obdobně se může množina A označit jako nadmnožina množiny B. Tato fakta značíme B \subseteq A, případně A \supseteq B. Relace „být podmnožinou“ se nazývá také inkluze.
Nový!!: Úplný svaz a Podmnožina · Vidět víc »
Potenční algebra
Potenční algebra je matematický pojem používaný v teorii množin pro strukturu prvků potenční množiny spolu s operacemi průniku, sjednocení, doplňku a spolu s uspořádáním relací \subseteq \,\! ("být podmnožinou").
Nový!!: Úplný svaz a Potenční algebra · Vidět víc »
Potenční množina
Hasseův diagram potenční množiny ke trojprvkové množině ''x'', ''y'', ''z''. Potenční množina množiny X \,\! (značí se \mathcal(X) \,\! nebo též 2^X \,\!), podle některých autorů též booleán \mathcal(X) \,\!, je taková množina, která obsahuje všechny podmnožiny množiny X \,\!.
Nový!!: Úplný svaz a Potenční množina · Vidět víc »
Reálné číslo
Reálná čísla jsou taková čísla, kterým lze jednoznačně přiřadit body nekonečné přímky (číselné osy) tak, aby tato čísla popisovala „vzdálenost“ od nějakého vybraného bodu (nuly) na takové přímce.
Nový!!: Úplný svaz a Reálné číslo · Vidět víc »
Supremum
Supremum (někdy též spojení) je matematický pojem z oboru teorie uspořádání, který je často používán především při zkoumání vlastností reálných čísel.
Nový!!: Úplný svaz a Supremum · Vidět víc »
Svaz (matematika)
Svaz je matematický pojem z algebry, konkrétněji z oboru teorie uspořádání, který vymezuje mezi uspořádanými množinami ty, které jsou uspořádány „rozumně“ (to znamená, že zachovávají suprema a infima).
Nový!!: Úplný svaz a Svaz (matematika) · Vidět víc »
Teorie uspořádání
Teorie uspořádání je matematická disciplína, která se zabývá studiem binárních relací zachycujících intuitivní pojem uspořádání.
Nový!!: Úplný svaz a Teorie uspořádání · Vidět víc »
Tranzitivní relace
V logice a matematice se binární relace R na množině X nazývá tranzitivní, pokud pro každé \alpha, \beta a \gamma z X platí, že pokud \alpha je v relaci s \beta a \beta je v relaci s \gamma, je i \alpha v relaci s \gamma.
Nový!!: Úplný svaz a Tranzitivní relace · Vidět víc »
Uspořádaná množina
Uspořádaná množina je množina, na které je definováno uspořádání.
Nový!!: Úplný svaz a Uspořádaná množina · Vidět víc »