Algèbre de Boole avec relation de contact non symétrique

Dans un premier temps, nous développons les bases de la théorie des treillis ainsi que des algèbres de Boole. Nous parlons notamment des filtres et de la dualité de Stone, que nous établissons également pour les multiopérateurs. Ensuite, nous démontrons le théorème de représentation des algèbres de Boole de contact et prouvons un théorème similaire dans les algèbres de Boole munies d'une relation vérifiant les axiomes de contact excepté la symétrie.