Sämtliche Eigenschaften gelten, wenn jeweils die nicht vorkommt, da dann mit übereinstimmt und von diese Eigenschaften bekannt sind. Wir müssen also jeweils nur Situationen betrachten, wo vorkommt.
- Bei
gilt
,
deshalb gilt die Eigenschaft.
- Wenn
ist wegen
die Aussage klar. Wenn
ist, so ist auch
und in diesem Fall ist auch
.
- Die Voraussetzung gilt nur bei
-
in diesem Fall ist aber auch
.
- Ebenso.
Es gilt nicht die Eigenschaft
Aus
folgt
.
Andernfalls würde wegen
auch
-
gelten, was aber nicht gilt.