elemento separatore

elemento separatore

elemento separatore in un insieme X dotato di un ordinamento totale e denso ≤, l’elemento separatore di una sezione di Dedekind (A, B) è un elemento x di X tale che, per ogni a appartenente ad A e per ogni b appartenente a B, sia soddisfatta la relazione a ≤ x ≤ b (→ Dedekind, sezione di). Per un’accezione più generale dell’espressione elemento separatore si veda anche la voce → classi, elemento separatore di due.