Prodotto diretto di insiemi ordinati