# Differences

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

 transitive_relation [2013/09/02 18:58]nikolaj transitive_relation [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/04 17:23 nikolaj 2013/09/02 18:58 nikolaj 2013/09/02 18:57 nikolaj 2013/09/02 18:25 nikolaj 2013/09/02 18:25 nikolaj 2013/09/02 17:45 nikolaj 2013/08/15 12:15 ben 2013/05/23 17:04 nikolaj old revision restored (2013/05/23 17:01)2013/05/23 17:03 nikolaj created2013/05/23 17:01 nikolaj removed2013/05/23 17:00 nikolaj old revision restored (2013/05/23 17:00)2013/05/23 17:00 nikolaj 2013/05/23 17:00 nikolaj created Next revision Previous revision 2013/09/04 17:23 nikolaj 2013/09/02 18:58 nikolaj 2013/09/02 18:57 nikolaj 2013/09/02 18:25 nikolaj 2013/09/02 18:25 nikolaj 2013/09/02 17:45 nikolaj 2013/08/15 12:15 ben 2013/05/23 17:04 nikolaj old revision restored (2013/05/23 17:01)2013/05/23 17:03 nikolaj created2013/05/23 17:01 nikolaj removed2013/05/23 17:00 nikolaj old revision restored (2013/05/23 17:00)2013/05/23 17:00 nikolaj 2013/05/23 17:00 nikolaj created Line 1: Line 1: ===== Transitive relation ===== ===== Transitive relation ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $X$ | + | @#55CCEE: context ​    | @#55CCEE: $X$ | - | @#FFBB00: $R\in\mathrm{TransitiveRel}(X)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $R\in\mathrm{TransitiveRel}(X)$ | + | @#55CCEE: context ​    | @#55CCEE: $R \in \mathrm{Rel}(X)$ | | $x,y,z\in X$ | | $x,y,z\in X$ | - | @#55EE55: @#FFBB00: $xRy\land yRz \implies xRz$ | + | @#​55EE55: ​postulate ​  | @#55EE55: @#FFBB00: definiendum | @#FFBB00: $xRy\land yRz \implies xRz$ | ==== Discussion ==== ==== Discussion ==== - ==== Context ​==== + ==== Parents ​==== === Subset of === === Subset of === [[Binary relation on a set]] [[Binary relation on a set]]