## k-regular graph

### Set

 context $V,E$ … set context $k\in\mathbb N$
 definiendum $\langle V,E,\psi\rangle \in \mathrm{it}(E,V)$
 inclusion $\langle V,E,\psi\rangle$ … undirected graph
 for all $v\in V$
 postulate $d(v)=k$