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