Loopless graph
Set
context
$V,E$ … set
definiendum
$ \langle V,E,\psi\rangle \in \mathrm{it}(E,V) $
postulate
$\langle V,E,\psi\rangle $ … undirected graph
for all
$u\in V$
postulate
$\{u,u\} $ … not an edge
Discussion
Parents
Subset of
Undirected graph