Graph vertices

Function

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

Discussion

Parents

Context

Graph