^^Ordine a rete

In un insieme finito es: {a,b,c,d,e}, possiamo definire un ordine tramite enumerazione; in un insieme infinito e' necessario dare una regola, poiche' non si puo' enumerare un'infinita', in pratica non si puo' neanche se l'insieme finito e' troppo numeroso.

Si puo' definire l'ordine con

diagramma     formula insiemistica 
  b
 / \
a   d         {aRb, aRc, bRd, cRd, cRe}
 \ /
  c
   \
    e
--------> q freccia significa: leggi sin->des, non alt->bas

Esempi notevoli:

1. contenenza spaziale e insiemistica.
2. Il piano cartesiano e' un reticolo continuo.