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 $ |
$ e\in E $ |
$ \forall X,Y. \exists x,y,e.\ e=\{x,y\} $ |