Graph edges

Function

definiendum $ \mathrm{dom}\ E=\mathrm{graph} $
definiendum $ E(\langle V,\langle A,\psi\rangle\rangle):=\psi(A) $

Discussion

Parents

Context

Graph