Finite undirected 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
postulate $ E,V $ … finite

Discussion

Parents

Subset of

Undirected graph