diff --git a/DAS/Set Theory.md b/DAS/Set Theory.md index d91305a..23c6025 100644 --- a/DAS/Set Theory.md +++ b/DAS/Set Theory.md @@ -86,9 +86,10 @@ $$ ## Relations -| Relation | Explanation | Example | -| ---------------- | --------------------------------------------------------------------------------------------------------------------- | ----------------------- | -| *transitive*
| "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$ | -| *anti-reflexive* | every element is *NOT* related to itself in the given relation | $a < a$ | -| *symmetric* | the given relation work both ways | $a = b => b = a$ | +| Relation | Explanation | Example | +| ---------------- | :-------------------------------------------------------------------------------------------------------------------- | ------------------------- | +| *transitive*
| "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$ | +| *anti-reflexive* | every element is *NOT* related to itself in the given relation | $a < a$ | +| *symmetric* | the given relation work both ways | $a = b => b = a$ | +| *antisymmetric* | the given relation only works both ways if $a$ and $b$ are the same | $a <= b, b <= a => a = b$ |