File:Nested set V4; elements in Hasse diagram.svg
Original file (SVG file, nominally 1,052 × 1,488 pixels, file size: 204 KB)
Summary
| Description |
 The elements of V4 - respectively the subsets of V3 - ordered in a Hasse diagram by inclusion. V4 = P^4({}) = P( P( P(P({})))) is the powerset of the power set of the power set of the power set of the empty set. As many brackets are usually hard to understand, the sets are defined by circles instead of brackets. The circle containing nothing stands for the empty set. The universe (the thing all shown sets are a subset from) in this Hasse diagram is P^3({}) and expressed in set brackets it looks like this: { {} , {{}} , {{{}}} , {{},{{}}} } This system of sets can be used for a set theoretic definition of Boolean functions. |
||
| Date | |||
| Source | Own work | ||
| Author |
|
||
| Other versions |
Printable version: File:Nested set V4; elements in Hasse diagram.pdf    |
||
| SVG development |
Licensing
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 07:42, 7 August 2014 | | 1,052 × 1,488 (204 KB) | Wereldburger758 | Saved as plain SVG. Valid SVG now. |
| 21:28, 27 May 2010 |  | 1,052 × 1,488 (297 KB) | Watchduck | reupload, to make the file actually shown | |
| 14:13, 13 June 2009 |  | 1,052 × 1,488 (343 KB) | Watchduck | ||
| 13:33, 10 May 2009 |  | 744 × 984 (122 KB) | Watchduck | {{Information |Description={{en|1=...}} {{de|1=...}} |Source=Eigenes Werk (own work) |Author=Lipedia |Date=2009-May-10 |Permission= |other_versions= }} <!--{{ImageUpload|full}}--> Category:Hasse diagrams |
File usage
The following 2 pages use this file:
Global file usage
The following other wikis use this file:
- Usage on ca.wikipedia.org
- Usage on en.wikipedia.org
- Usage on en.wikiversity.org
- Usage on es.wikipedia.org
- Usage on pt.wikipedia.org
