Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
transitive_relation [2013/09/02 18:25] nikolaj |
transitive_relation [2013/09/04 17:23] nikolaj |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| | @#FFBB00: $ R\in\mathrm{TransitiveRel}(X) $ | | | @#FFBB00: $ R\in\mathrm{TransitiveRel}(X) $ | | ||
| - | | @#55EE55: @#FFBB00: $ xRy\land yRz \Leftrightarrow xRz $ | | + | | @#88DDEE: $ R \in \mathrm{Rel}(X) $ | |
| + | | $ x,y,z\in X $ | | ||
| + | |||
| + | | @#55EE55: @#FFBB00: $ xRy\land yRz \implies xRz $ | | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
