This is an old revision of the document!
Connected graph
Set
| $V,E$ … set |
| $\langle V,E,\psi\rangle \in \mathrm{it}(E,V) $ |
| $\langle V,E,\psi\rangle $ … undirected graph |
| $ X\cap Y=\emptyset $ |
| $ X\cup Y=V $ |
| $ x\in X $ |
| $ y\in Y $ |
| $ \forall X,Y. \exists x,y.\ \{x,y\}\in\mathrm{im}\ \psi $ |