Considérons un ensemble E et la famille de ses sous-ensembles.

Dans les exemples nous supposerons que E est l'ensemble des quadrilatères du plan.
E possède divers sous-ensembles remarquables : les quadrilatères ayant un centre de symétrie (parallélogrammes), ceux ayant un axe de symétrie (les trapèzes isocèles et les deltoïdes), les rectangles, les losanges, les carrés...

Le complémentaire

Le complémentaire d'un sous-ensemble P est noté ¬P.

Si P est l'ensemble des parallélogrammes, ¬P est l'ensemble des quadrilatères qui sont des non-parallélogrammes.

L'intersection

Si P et Q sont deux sous-ensembles, leur intersection est notée PQ.
Remarquons que PP = P.

Si P est l'ensemble des losanges et Q l'ensemble des rectangles, PQ sera l'ensemble des quadrilatères qui sont à la fois des losanges et des rectangles, c'est-à-dire l'ensemble des carrés.

La réunion
Nous pouvons également considérer la réunion des sous-ensembles P et Q, notée PQ.

Si P est l'ensemble des rectangles et Q l'ensemble des losanges, PQ sera l'ensemble des quadrilatères qui sont des rectangles ou des losanges.

L'inclusion

Si PQ, on peut exprimer l'inclusion de manière différente, mais équivalente : P¬Q est vide, ou encore ¬(P¬Q) = E.

En particulier l'inclusion est transitive ; on a :

Si PQ et QR alors PR

Si P est l'ensemble des rectangles et Q l'ensemble des parallélogrammes, PQ et on a l'implication : si F est un rectangle, alors F est un parallélogramme.

Parmi toutes ces opérations il est naturel de se poser la question de savoir si certaines d'entre elles ne peuvent pas s'exprimer à l'aide d'autres. Par exemple il est évident qu'avec la réunion et le complémentaire on est à même de définir l'intersection. En effet, PQ = ¬(¬P¬Q).
Mais il y a mieux : l'opération correspondant à la "barre de Scheffer". Aux ensembles P et Q on associe l'ensemble P|Q qui est constitué de l'ensemble des éléments qui n'appartiennent pas simultanément à P et à Q.

Dans l'exemple où P est l'ensemble des rectangles et Q l'ensemble des losanges, P|Q est l'ensemble des quadrilatères non carrés.

Une simple observation : P|P = ¬P montre que la barre de Scheffer permet de définir le complémentaire et de proche en proche on voit ainsi comment définir toutes les opérations sur les ensembles.

A la vue des exemples ci-dessus, on voit le lien étroit qui existe entre logique, probabilités et ensembles.