Simple graph

Set

context $V,E$ … set
definiendum $\langle V,E,\psi\rangle \in \mathrm{it}(E,V) $
postulate $\langle V,E,\psi\rangle $ … loopless graph
postulate $ \psi $ … injective

Discussion

Two vertices $\{u,v\}$ of a a simple graph are connected by at most one edge.

Parents

Subset of

Loopless graph