L'ensemble C, complémentaire de A se définit comme l'ensemble contenant tous les éléments qui ne se trouvent pas dans A. Par exemple, si l'ensemble A se définit par les coeurs dans un jeu de cartes, l'ensemble opposé de A, noté , se définit comme tout ce qui n'est pas coeur : pique, trèfle et carreau. Il est parfois plus simple de définir un ensemble par ce qu'il n'est pas plutôt que par ce qu'il est. De là, le principe du tiers exclu donne , l'univers des possibles. Or . Comme cette dernière intersection est vide, on a .