En mathématiques , une paire non ordonnée ou un ensemble de paires est un ensemble de la forme { a , b }, c'est-à-dire un ensemble ayant deux éléments a et b sans paire ordonnée ( a , b ) a a comme premier élément et b comme deuxième élément, ce qui signifie que ( a , b ) ≠ ( b , a ) sauf si a = b .
Bien que les deux éléments d'un couple ordonné ( a , b ) ne soient pas nécessairement distincts, les auteurs modernes ne qualifient { a , b } de couple non ordonné que si a ≠ b . Cependant, certains auteurs considèrent également un singleton comme un couple non ordonné. Il est courant d'utiliser le terme « couple non ordonné » même lorsque les éléments a et b pourraient être égaux, tant que cette égalité n'a pas été établie.2-ensemble ou (rarement) un ensemble binaire .théorie axiomatique des ensembles , l'existence de paires non ordonnées est requise par un axiome, l' axiome d'appariement .
Plus généralement, un n -uplet non ordonné est un ensemble de la forme { a 1 , a 2 , ..., a n }.