Apair is usually ann-tuple for$n=2$, i.e., anordered pair. Such a pair is aterm ofproduct type, anelement of aCartesian product, ageneralized element of aproduct object, etc.

But apair may also be anunordered pair. The existence of these is a basic axiom ofZFC and its variations, theaxiom of pairing.

Last revised on August 8, 2024 at 14:13:27. See thehistory of this page for a list of all contributions to it.