1.053
Bearbeitungen
Relation: Unterschied zwischen den Versionen
K
→Spezielle Relationseigenschaften und spezielle Relationen Veranschaulichungen und weitetre Erläuterungen dazu in [Hischer 2012, 181 ff.]
| [gesichtete Version] | [gesichtete Version] |
KKeine Bearbeitungszusammenfassung |
|||
| Zeile 49: | Zeile 49: | ||
| <math>R</math> {{sp}} ist '''irreflexiv in '''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x \in M:</math> {{sp}} '''nicht''' {{sp}} <math>xRx</math>. || Nirgends Schleifen. | | <math>R</math> {{sp}} ist '''irreflexiv in '''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x \in M:</math> {{sp}} '''nicht''' {{sp}} <math>xRx</math>. || Nirgends Schleifen. | ||
|- | |- | ||
| <math>R</math> {{sp}} ist '''konnex in '''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y \in M:</math> {{sp}} <math>xRy</math> {{sp}} oder {{sp}} <math>yRx</math>. || Zwischen je zwei Punkten mindestens eine Verbindung: überall Schleifen. <ref>Statt „konnex“ sind auch die Bezeichnungen „total“ oder „vergleichbar“ üblich. Mit „konnex“ wird das lateinische | | <math>R</math> {{sp}} ist '''konnex in '''<math>M</math> <math>:\Leftrightarrow</math> Es gilt für alle <math> x,y \in M:</math> {{sp}} <math>xRy</math> {{sp}} oder {{sp}} <math>yRx</math>. || Zwischen je zwei Punkten mindestens eine Verbindung: überall Schleifen. <ref>Statt „konnex“ sind auch die Bezeichnungen „total“ oder „vergleichbar“ üblich. Mit „konnex“ wird das lateinische „connecto“ für „Verbindung“ (hier also als „verbindend“) erfasst.</ref> | ||
|} | |} | ||
* '''Zur Beachtung:''' Die letzten drei Eigenschaften enthalten jeweils den wesentlichen Zusatz '''„in <math>M</math>“''', was bedeutet, dass eine Relation z. B. nicht per se „reflexiv“ sein kann, sondern dass dazu der Bezug auf eine konkrete Menge unverzichtbar ist. Und genau bei den ersten vier Eigenschaften ist dieser Zusatz nicht erforderlich. | * '''Zur Beachtung:''' Die letzten drei Eigenschaften enthalten jeweils den wesentlichen Zusatz '''„in <math>M</math>“''', was bedeutet, dass eine Relation z. B. nicht per se „reflexiv“ sein kann, sondern dass dazu der Bezug auf eine konkrete Menge unverzichtbar ist. Und genau bei den ersten vier Eigenschaften ist dieser Zusatz nicht erforderlich. | ||