Une paire est un ensemble qui comprend exactement deux éléments.
Un élément x appartient à une paire si et seulement s'il est égal à l'un des deux éléments de cette paire. Cet énoncé est en fait tout autant valable pour un singleton. On peut donc l'écrire formellement, pour a et b donnés :
(le « ou » en question désigne, comme d'habitude en mathématiques, une disjonction inclusive : l'énoncé reste vrai si x = a et x = b).
Cette proposition caractérise les paires (ou singletons). Dans l'axiomatisation de la théorie des ensembles, il y a un axiome spécifique, appelé axiome de la paire, qui exprime pour tout et l'existence d'une paire et qui se fonde sur cette proposition.
Deux paires sont égales si et seulement si leurs éléments sont égaux deux à deux, de l'une des deux façons dont on peut les associer. Plus précisément, pour deux paires ou singletons {a, b} et {c, d} :
Un raisonnement simple de dénombrement montre que le nombre de paires d'un ensemble fini à n éléments est égal à n(n – 1)2 (voir l'article « Combinaison »).
Von Neumann, dans son article de 1923[1],[2], qui est un des premiers sur la théorie des ensembles, note les paires , comme nous noterions aujourd'hui les couples. Remarquons qu'il définit l'entier comme étant la paire , qu'il écrit .