Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
reflexive_relation [2013/09/04 16:56] nikolaj |
reflexive_relation [2013/09/04 17:26] nikolaj |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| | @#FFBB00: $ R\in\mathrm{ReflexiveRel}(X) $ | | | @#FFBB00: $ R\in\mathrm{ReflexiveRel}(X) $ | | ||
| - | | $ x\in\text{dom}(R) $ | | + | | @#88DDEE: $ R \in \mathrm{Rel}(X) $ | |
| + | | $ x\inX $ | | ||
| | @#55EE55: $ xRx $ | | | @#55EE55: $ xRx $ | | ||
