Una relazione d’ordine ℛ in un insieme A è:
• d’ordine totale o lineare se, presi due elementi a e b di A, o a ℛ b o b ℛ a;
• d’ordine parziale se non è d’ordine totale.
***
Una relazione dall’insieme A all’insieme B è una funzione se a ogni elemento di A associa
un solo elemento di B.
- 187 -