===== Graph edges =====
==== Function ====
| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{dom}\ E=\mathrm{graph} $ |
| @#FFBB00: definiendum | @#FFBB00: $ E(\langle V,\langle A,\psi\rangle\rangle):=\psi(A) $ |

==== Discussion ====
==== Parents ====
=== Context ===
[[Graph]]