k-path

Set

 context $V,E$ … set context $k\in\mathbb N$
 definiendum $\langle V,E,\psi\rangle \in \mathrm{it}$
 inclusion $\langle V,E,\psi\rangle$ … path
 postulate $|\ E\ |=k$