===== Path length =====
==== Function ====
| @#55CCEE: context     | @#55CCEE: $V,E$ ... set |

| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{dom}\ \mathrm{length} = \mathrm{Path}(V,E) $ |
| @#FFBB00: definiendum | @#FFBB00: $ \mathrm{length}(G):=|E| $ |

==== Discussion ====
==== Parents ====
=== Context ===
[[Path . graph theory]]