# Differences

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

 restricted_relation [2013/06/12 22:30]ben restricted_relation [2014/03/21 11:11] (current) Both sides previous revision Previous revision 2013/08/06 11:26 nikolaj 2013/06/12 22:30 ben 2013/06/12 21:42 nikolaj 2013/06/12 21:18 nikolaj 2013/06/12 21:17 nikolaj 2013/05/18 12:56 external edit2013/05/18 01:07 nikolaj 2013/05/17 21:56 nikolaj created Next revision Previous revision 2013/08/06 11:26 nikolaj 2013/06/12 22:30 ben 2013/06/12 21:42 nikolaj 2013/06/12 21:18 nikolaj 2013/06/12 21:17 nikolaj 2013/05/18 12:56 external edit2013/05/18 01:07 nikolaj 2013/05/17 21:56 nikolaj created Line 1: Line 1: ===== Restricted relation ===== ===== Restricted relation ===== - ==== Definition ​==== + ==== Set ==== - | @#88DDEE: $X,Y,Z$ | + | @#55CCEE: context ​    | @#55CCEE: $X,Y,Z$ | - | @#88DDEE: $R\in \text{Rel}(X,​Y)$ | + | @#55CCEE: context ​    | @#55CCEE: $R\in \text{Rel}(X,​Y)$ | - | @#55EE55: $\langle x,y\rangle \in R_{|Z}$ | + | @#55EE55: postulate ​  | @#55EE55: $\langle x,y\rangle \in R_{|Z}$ | - | @#55EE55: $\langle x,y\rangle \in R$ | + | @#55EE55: postulate ​  | @#55EE55: $\langle x,y\rangle \in R$ | - | @#55EE55: $x \in Z$ | + | @#55EE55: postulate ​  | @#55EE55: $x \in Z$ | ==== Ramifications ==== ==== Ramifications ==== Line 15: Line 15: Wikipedia: Wikipedia: [[http://​en.wikipedia.org/​wiki/​Binary_relation|Binary relation]] Wikipedia: Wikipedia: [[http://​en.wikipedia.org/​wiki/​Binary_relation|Binary relation]] - ==== Context ​==== + ==== Parents ​==== - === Parametrized subset ​of === + === Subset ​of === [[Binary relation]] [[Binary relation]]