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 $ |