File:Filter vs ultrafilter.svg
Size of this PNG preview of this SVG file: 528 × 415 pixels. Other resolutions: 305 × 240 pixels | 611 × 480 pixels | 977 × 768 pixels | 1,280 × 1,006 pixels | 2,560 × 2,012 pixels.
Original file (SVG file, nominally 528 × 415 pixels, file size: 18 KB)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
English: The Hasse diagram shows the set of all subsets of {1,2,3,4}, partially ordered by set inclusion (⊆). The upper set ↑{1,4} is highlighted in dark green, it is a filter. However, it is not an ultrafilter, since it can still be extended to the properly larger filter ↑{1}, shown in light green. The latter cannot be extended to any nontrivial larger filter in turn, it is hence an ultrafilter. |
| Date | |
| Source | Own work based on: Upset.svg |
| Author | Jochen Burghardt |
| Other versions |
|
| SVG development |  This diagram was created with Inkscape.  This diagram uses embedded text that can be easily translated using a text editor. |
Licensing
I, the copyright holder of this work, hereby publish it under the following license:
This file is licensed under the Creative Commons Attribution-Share Alike 4.0 International license.
- You are free:
- to share – to copy, distribute and transmit the work
- to remix – to adapt the work
- Under the following conditions:
- attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
- share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 08:06, 26 February 2020 | | 528 × 415 (18 KB) | Jochen Burghardt | change colors towards more definite names ("light green", "dark green") |
| 11:17, 25 July 2016 |  | 528 × 415 (18 KB) | Jochen Burghardt | User created page with UploadWizard |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on es.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on ja.wikipedia.org
- Usage on ru.wikipedia.org
- Usage on www.wikidata.org
- Usage on zh.wikipedia.org
