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