Algèbre des parties d'un ensemble

En théorie des ensembles, l'ensemble des parties d'un ensemble, muni des opérations d'intersection, de réunion, et de passage au complémentaire possède une structure d'algèbre de Boole. D'autres opérations s'en déduisent, comme la différence ensembliste et la différence symétrique … L'algèbre de Boole des parties d'un ensemble étudie l'arithmétique de ces opérations (voir l'article opération ensembliste pour des opérations qui ne laissent pas stable l'ensemble des parties d'un ensemble).