Differences
This shows you the differences between two versions of the page.
pointed_set [2013/09/05 19:20] nikolaj created |
pointed_set [2013/09/05 19:20] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== Ordered pair ===== | + | ===== Pointed set ===== |
==== Definition ==== | ==== Definition ==== | ||
| @#88DDEE: $ X $ | | | @#88DDEE: $ X $ | |