Graph vertices
Function
definiendum
$ \mathrm{dom}\ E=\mathrm{graph} $
definiendum
$ E(\langle V,\langle A,\psi\rangle\rangle):=V $
Discussion
Parents
Context
Graph