Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
ordered_pair [2013/09/05 02:31] nikolaj |
ordered_pair [2013/09/05 02:31] nikolaj |
||
|---|---|---|---|
| Line 13: | Line 13: | ||
| See also [[http://en.wikipedia.org/wiki/Ordered_pair#Kuratowski_definition|Wikipedia: Ordered pair, Kuratowski defintion]]. In calculations, only this property of it should be used. | See also [[http://en.wikipedia.org/wiki/Ordered_pair#Kuratowski_definition|Wikipedia: Ordered pair, Kuratowski defintion]]. In calculations, only this property of it should be used. | ||
| - | === Definitions === | + | Now Let $x_i$ be indexed sets and define $p \equiv \langle x_1,x_2\rangle$. |
| - | + | ||
| - | Let | + | |
| - | + | ||
| - | ^ $x_i$ ^ | + | |
| - | + | ||
| - | and define | + | |
| - | + | ||
| - | ^ $p \equiv \langle x_1,x_2\rangle$ ^ | + | |
| //Canonical projection//: Using [[arbitrary union]] and [[arbitrary intersection]], we can extract the first and second component of the pair: | //Canonical projection//: Using [[arbitrary union]] and [[arbitrary intersection]], we can extract the first and second component of the pair: | ||
