Alle fine della sezione della pagina di Wikipedia sui reticoli distributivi viene accennata l'esistenza di reticoli non distributivi in cui i complementi sono unici (non ho ben capito se ogni elemento ha un complemento o semplicemente se ce lo ha è unico) che a quanto pare si chiama teorema di Dilwhort, ho provato a cercarlo su Google ma, intanto pensa sia scritto male (e ci sta), e poi tutto ciò che dice non ha niente a che fare con quello che ho detto.
Per caso qualcuno di voi mi sa dare qualche informazione su questo teorema (riferimenti, enunciato preciso, quello che vi pare insomma)?