# Differences

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

 total_relation [2013/09/04 16:56]nikolaj total_relation [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/09/04 17:23 nikolaj 2013/09/04 16:56 nikolaj 2013/09/04 16:56 nikolaj 2013/09/02 17:39 nikolaj 2013/09/02 17:37 nikolaj 2013/09/02 17:37 nikolaj 2013/09/02 17:37 nikolaj 2013/05/23 21:31 nikolaj created Next revision Previous revision 2013/09/04 17:23 nikolaj 2013/09/04 16:56 nikolaj 2013/09/04 16:56 nikolaj 2013/09/02 17:39 nikolaj 2013/09/02 17:37 nikolaj 2013/09/02 17:37 nikolaj 2013/09/02 17:37 nikolaj 2013/05/23 21:31 nikolaj created Line 1: Line 1: ===== Total relation ===== ===== Total relation ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $X$ | + | @#55CCEE: context ​    | @#55CCEE: $X$ | - | @#FFBB00: $R\in\mathrm{TotalRel}(X)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $R\in\mathrm{TotalRel}(X)$ | + | @#55CCEE: context ​    | @#55CCEE: $R\ \in\ \mathrm{Rel}(X)$ | | $x,y\in X$ | | $x,y\in X$ | - | @#55EE55: $xRy\ \lor\ yRx$ | + | @#55EE55: postulate ​  | @#55EE55: $xRy\ \lor\ yRx$ | ==== Discussion ==== ==== Discussion ==== Wikipedia: [[http://​en.wikipedia.org/​wiki/​Total_relation|Total relation]] Wikipedia: [[http://​en.wikipedia.org/​wiki/​Total_relation|Total relation]] - ==== Context ​==== + ==== Parents ​==== === Subset of === === Subset of === [[Binary relation on a set]] [[Binary relation on a set]]