vault backup: 2026-03-06 21:29:49

This commit is contained in:
Jan Meyer
2026-03-06 21:29:49 +01:00
parent eb108cfcc4
commit b98f703d75

View File

@@ -91,3 +91,4 @@ $$
| *transitive*<br> | "chain reaction", a information about $a$ in relation to $c$ can be inferred from the relations $a -> b$ and $b -> c$ | $a < b, b < c => a < c$ | | *transitive*<br> | "chain reaction", a information about $a$ in relation to $c$ can be inferred from the relations $a -> b$ and $b -> c$ | $a < b, b < c => a < c$ |
| *reflexive* | every element is related to itself with the given relation | $a <= a, 5 = 5$ | | *reflexive* | every element is related to itself with the given relation | $a <= a, 5 = 5$ |
| *anti-reflexive* | every element is *NOT* related to itself in the given relation | $a < a$ | | *anti-reflexive* | every element is *NOT* related to itself in the given relation | $a < a$ |
| *symmetric* | | |