# Differences

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

 connected_graph [2014/02/08 00:54]nikolaj old revision restored (2014/02/08 00:30) connected_graph [2014/03/21 11:11] (current) 2014/02/08 00:57 nikolaj 2014/02/08 00:54 nikolaj old revision restored (2014/02/08 00:30) Next revision Previous revision 2014/02/08 00:57 nikolaj 2014/02/08 00:54 nikolaj old revision restored (2014/02/08 00:30) Line 1: Line 1: ===== Connected graph ===== ===== Connected graph ===== ==== Set ==== ==== Set ==== - | @#88DDEE: $V,E$ ... set | + | @#55CCEE: context ​    | @#55CCEE: $V,E$ ... set | - | @#FFBB00: $\langle V,​E,​\psi\rangle \in \mathrm{it}(E,​V)$ | + | @#FFBB00: definiendum ​| @#FFBB00: $\langle V,​E,​\psi\rangle \in \mathrm{it}(E,​V)$ | - | @#55EE55: $\langle V,​E,​\psi\rangle$ ... undirected graph | + | @#55EE55: postulate ​  | @#55EE55: $\langle V,​E,​\psi\rangle$ ... undirected graph | - | @#DDDDDD: $X\cap Y=\emptyset$ | + | @#DDDDDD: range       | @#DDDDDD: $X\cap Y=\emptyset$ | - | @#DDDDDD: $X\cup Y=V$ | + | @#DDDDDD: range       | @#DDDDDD: $X\cup Y=V$ | - | @#DDDDDD: $x\in X$ | + | @#DDDDDD: range       | @#DDDDDD: $x\in X$ | - | @#​DDDDDD: ​$y\in Y$ | + | @#​DDDDDD: ​range       | @#DDDDDD: $y\in Y$ | - | @#DDDDDD: $e\in E$ | + - | @#55EE55: $\forall X,Y. \exists x,y,e.\ e=\{x,y\}$ | + | @#55EE55: postulate ​  | @#55EE55: $\forall X,Y. \exists x,y.\ \{x,y\}\in\mathrm{im}\ \psi$ | ==== Discussion ==== ==== Discussion ====