# Differences

This shows you the differences between two versions of the page.

 reflexive_relation [2013/09/04 16:56]nikolaj reflexive_relation [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/04 17:26 nikolaj 2013/09/04 16:56 nikolaj 2013/09/02 18:24 nikolaj 2013/09/02 18:24 nikolaj 2013/09/02 17:39 nikolaj 2013/09/02 17:35 nikolaj 2013/08/15 12:14 ben 2013/05/23 16:54 nikolaj created Next revision Previous revision 2013/09/04 17:26 nikolaj 2013/09/04 16:56 nikolaj 2013/09/02 18:24 nikolaj 2013/09/02 18:24 nikolaj 2013/09/02 17:39 nikolaj 2013/09/02 17:35 nikolaj 2013/08/15 12:14 ben 2013/05/23 16:54 nikolaj created Line 1: Line 1: ===== Reflexive relation ===== ===== Reflexive relation ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $X$ | + | @#55CCEE: context ​    | @#55CCEE: $X$ | - | @#FFBB00: $R\in\mathrm{ReflexiveRel}(X)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $R\in\mathrm{ReflexiveRel}(X)$ | - | $x\in\text{dom}(R)$ | + | @#55CCEE: context ​    | @#​55CCEE: ​$R \in \mathrm{Rel}(X)$ | + | $x\inX$ | - | @#55EE55: $xRx$ | + | @#55EE55: postulate ​  | @#55EE55: $xRx$ | ==== Discussion ==== ==== Discussion ==== - ==== Context ​==== + ==== Parents ​==== === Subset of === === Subset of === [[Total relation]] [[Total relation]]