ordinamento parziale
ordinamento parziale ordinamento su un insieme A che non coinvolga tutti i suoi elementi: esistono cioè coppie di elementi di A che sono non confrontabili. Se x e y sono due elementi di questo tipo, si ha che né x ρ y né y ρ x. Un ordinamento ad → albero su un insieme A è un ordinamento parziale dell’insieme (→ ordinamento).