File:Filter vs ultrafilter.svg
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
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)
File information
Structured data
Captions
Summary
[edit]DescriptionFilter vs ultrafilter.svg |
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 InfoField | This diagram was created with Inkscape. This diagram uses embedded text that can be easily translated using a text editor. |
Licensing
[edit]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 (talk | contribs) | change colors towards more definite names ("light green", "dark green") | |
11:17, 25 July 2016 | 528 × 415 (18 KB) | Jochen Burghardt (talk | contribs) | User created page with UploadWizard |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikipedia.org
- Usage on es.wikipedia.org
- Usage on fr.wikipedia.org
- Usage on ja.wikipedia.org
- Usage on kk.wikipedia.org
- Usage on ru.wikipedia.org
- Usage on www.wikidata.org
- Usage on zh.wikipedia.org
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Width | 422pt |
---|---|
Height | 332pt |