Además de unión e intersección, el conjunto de proposiciones lleva una relación binaria de orden (es decir la relación de subconjunto) y una operación de complementación.