Dolní a horní množina: Porovnání verzí
Smazaný obsah Přidaný obsah
m Portálové šablony dle doporučení (s pomocí dat od Dannyho B.) |
|||
Řádek 3:
== Definice ==
Předpokládejme, že množina A je [[uspořádání|uspořádána]] [[Binární relace|relací]] R a B je [[podmnožina]] A.<br />
Řekneme, že B je '''
<math>( \forall a, b \isin A) (( b \isin B \and a \leq_R b) \implies a \isin B)</math><br />
Řekneme, že B je '''
<math>( \forall a, b \isin A) (( b \isin B \and b \leq_R a) \implies a \isin B)</math>
| |||