File:BinRelProp Impl Confl.gif

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.
Category:Other images that should use vector graphics#%20BinRelProp%20Impl%20Confl.gifCategory:GIF that should be converted to SVG

Summary

Description
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:
w:en:Creative Commons
attribution share alike
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.
Category:CC-BY-SA-4.0#BinRelProp%20Impl%20Confl.gif
Category:Self-published work
Annotations
InfoField
This image is annotated: View the annotations at Commons
Category:Binary relations Category:Hasse diagrams Category:Files by User:Jochen Burghardt Category:Created with xgraph
Category:Binary relations Category:CC-BY-SA-4.0 Category:Created with xgraph Category:Files by User:Jochen Burghardt Category:GIF that should be converted to SVG Category:Hasse diagrams Category:Images with 10+ annotations Category:Images with annotations Category:Other images that should use vector graphics Category:Self-published work