Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
finite_subset [2013/05/21 19:47] nikolaj |
finite_subset [2013/05/23 22:41] nikolaj |
||
---|---|---|---|
Line 17: | Line 17: | ||
==== Context ==== | ==== Context ==== | ||
Set constructor | Set constructor | ||
- | === Subset of === | ||
- | [[Power set]] | ||
=== Parents === | === Parents === | ||
[[Finite sequence]] | [[Finite sequence]] | ||