Ordini Parziali - Reticoli. Tino CortesiTecniche di Analisi di Programmi 2 Insiemi parzialmente ordinati Nellanalisi di programmi ordini parziali e reticoli.