Segmento inicial (matemática): diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Lp.vitor (discussão | contribs)
Lp.vitor (discussão | contribs)
Linha 17:
Em geral, exige-se apenas que o conjunto '''X''' seja [[parcialmente ordenado]]. Então, a definição mais usual é
 
Seja <math>X</math> um conjunto '''parcialmentetotalmente ordenado'''. Um subconjunto <math>S \subset X</math> é um segmento inicial de <math>X</math> se satisfizer a condição
 
<math>\ \ \forall x \in X (x \in S \Rightarrow x^{\leftarrow} \subset S)</math>
 
onde, <math>x^{\leftarrow} = \{y \in X : y < x \}</math> <ref>Hrback, Karel. Introduction to set theory - third edition. ISBN 0-8247-7915-0. Page 104. </ref>
 
==Propriedades==