b'\n_START_ARTICLE_\nSegmento inicial (matem\xc3\xa1tica)\n_START_SECTION_\nDefini\xc3\xa7\xc3\xa3o\n_START_PARAGRAPH_\nExiste mais do que uma defini\xc3\xa7\xc3\xa3o aceita, mas elas mudam apenas com rela\xc3\xa7\xc3\xa3o \xc3\xa0s exig\xc3\xaancias impostas \xc3\xa0 ordem do conjunto X. Por exemplo, nesta defini\xc3\xa7\xc3\xa3o, exige-se que o conjunto X seja bem ordenado._NEWLINE_Seja X um conjunto bem ordenado. Um subconjunto S \\subset X \xc3\xa9 um segmento inicial de X se satisfizer a condi\xc3\xa7\xc3\xa3o_NEWLINE_\\ \\ \\forall x \\in X (x \\in S \\Rightarrow x^{\\leftarrow} \\subset S)_NEWLINE_onde, x^{\\leftarrow} = \\{y \\in X\xc2\xa0: y < x \\} _NEWLINE__NEWLINE_Outra defini\xc3\xa7\xc3\xa3o mais usual \xc3\xa9:_NEWLINE_Seja X um conjunto totalmente ordenado. Um subconjunto S \\subset X \xc3\xa9 um segmento inicial de X se satisfizer a condi\xc3\xa7\xc3\xa3o_NEWLINE_\\ \\ \\forall x \\in X (x \\in S \\Rightarrow x^{\\leftarrow} \\subset S)_NEWLINE_onde, x^{\\leftarrow} = \\{y \\in X\xc2\xa0: y < x \\}'