File:BinRelProp Impl Confl.gif
From testwiki
Jump to navigation
Jump to search
Size of this preview: 800 × 587 pixels. Other resolutions: 320 × 235 pixels | 640 × 469 pixels | 867 × 636 pixels.
Original file (867 × 636 pixels, file size: 16 KB, MIME type: image/gif)
This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.
This image could be re-created using vector graphics as an SVG file. This has several advantages; see Commons:Media for cleanup for more information. If an SVG form of this image is available, please upload it and afterwards replace this template with
{{vector version available|new image name}} .
It is recommended to name the SVG file “BinRelProp Impl Confl.svg”—then the template Vector version available (or Vva) does not need the new image name parameter. |
Summary
DescriptionBinRelProp Impl Confl.gif |
English: Shows the implications (blunt light blue end ⇒ peaked dark blue end) and conflicts (red) between properties (yellow) of homogenous binary relations. For example, every asymmetric relation is irreflexive ("ASym ⇒ Irrefl"), and no relation on a non-empty set can be both irreflexive and reflexive ("Irrefl # Refl"). Omitting the red edges results in a Hasse diagram. |
Date | |
Source | Own work |
Author | Jochen Burghardt |
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.
Annotations InfoField | This image is annotated: View the annotations at Commons |
601
250
55
10
867
636
semi-order property 2 (axiom 3): ∀w,x,y,z. xRy ∧ yRz ⇒ wRx ∨ xRw ∨ wRy ∨ yRw ∨ wRz ∨ zRw
Items portrayed in this file
depicts
some value
1 November 2018
image/gif
641c56e559ac90d86cc71c0603e9a377fcf72964
16,390 byte
636 pixel
867 pixel
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:11, 1 November 2018 | 867 × 636 (16 KB) | wikimediacommons>Jochen Burghardt | User created page with UploadWizard |
File usage
The following page uses this file:
Retrieved from "https://en.beta.math.wmflabs.org/wiki/File:BinRelProp_Impl_Confl.gif"