Relazione d'ordine: differenze tra le versioni

* '''intervallo stretto''' di <math>a</math> e <math>b</math> l'insieme '''<nowiki/>'''<math>\, ]a,b[=\{x\in O|a < x < b\}=[a,b] - \{a,b\}</math>.

 

Sia <math>(O,\leq)</math> un insieme ordinato (poset) e <math>S\subseteq O</math>, allora <math>S</math> si dice:

* '''segmento iniziale :''' <math>x \in S \land y \leq x \Rightarrow y \in S</math>;