# Pair is Union of Singletons

## Theorem

Let $x, y$ be arbitrary.

Then $\left\{ {x, y}\right\} = \left\{ {x}\right\} \cup \left\{ {y}\right\}$

## Proof

Straightforward from Union of Unordered Tuples.

$\blacksquare$

## Sources

- Mizar article ENUMSET1:1

From ProofWiki

Jump to: navigation, search

It has been suggested that this page or section be merged into Union of Disjoint Singletons is Doubleton. (Discuss) |

Let $x, y$ be arbitrary.

You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by resolving the issues.

*To discuss this proof in more detail, feel free to use the talk page.*

*If you are able to fix this page, then when you have done so you can remove this instance of {{Questionable}} from the code.*

*If you would welcome a second opinion as to whether your correction is correct, add a call to {{Proofread}} the page (see the proofread template for usage).*

Then $\left\{ {x, y}\right\} = \left\{ {x}\right\} \cup \left\{ {y}\right\}$

Straightforward from Union of Unordered Tuples.

$\blacksquare$

- Mizar article ENUMSET1:1

- This page was last modified on 13 October 2016, at 11:01 and is 416 bytes
- Content is available under Creative Commons Attribution-ShareAlike License unless otherwise noted.