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

Em [[matemática]], mais precisamente em [[teoria dasda ordensordem]], um '''segmento inicial''' de um conjunto [[Relação de ordem|ordenado]] (''X'',≤) é um subconjunto ''S'' de ''X'' tal que se ''x'' pertence à ''S'' e se ''y''≤''x'', então ''y'' pertence à ''S''.