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 $
Discussion
Parents
Subset of
Path . graph theory