Differences

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

Link to this comparison view

Both sides previous revision Previous revision
binary_relation [2014/03/21 11:11]
127.0.0.1 external edit
binary_relation [2014/04/01 16:26] (current)
nikolaj
Line 2: Line 2:
 ==== Set ==== ==== Set ====
 | @#55CCEE: context ​    | @#55CCEE: $X,Y$ | | @#55CCEE: context ​    | @#55CCEE: $X,Y$ |
- 
 | @#FFBB00: definiendum | @#FFBB00: $ \text{Rel}(X,​Y) \equiv \mathcal{P}(X\times Y) $ | | @#FFBB00: definiendum | @#FFBB00: $ \text{Rel}(X,​Y) \equiv \mathcal{P}(X\times Y) $ |
  
 +==== Discussion ====
 The set of all binary relations on $X\times Y$. The set of all binary relations on $X\times Y$.
  
-==== Discussion ==== 
 If $R$ is a binary relation, we write $x R y\equiv \langle x,y\rangle \in R$ If $R$ is a binary relation, we write $x R y\equiv \langle x,y\rangle \in R$
  
Line 14: Line 13:
  
 ==== Parents ==== ==== Parents ====
-=== Context ​===+=== Requirements ​===
 [[Cartesian product]], [[Power set]] [[Cartesian product]], [[Power set]]
  
Link to graph
Log In
Improvements of the human condition