Insieme diretto

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

In matematica, un insieme diretto è un insieme A in cui è definita una relazione binaria riflessiva e transitiva ≤ tale che per ogni coppia di elementi a e b in A, esiste un terzo elemento c in A che soddisfa a ≤ c e b ≤ c.

Dati due punti a e b ci si può muovere da a in direzione di b trovando un altro punto c "più avanti" sia di a che di b. Proseguendo per induzione, è possibile costruire una successione a ≤ b ≤ c ≤ d ≤ ... di punti.