Labelled Graphs.md

tags
math/graph-theory

A Labelled Graph is a [[Directed Graphs|directed graph]] together with an assignment of a [[Set]] $a\downarrow$ of labels to each node $a$

A Labelled Decoration of a labelled graph is an assignment $d$ of a set $da$ to each node $a$ such that $$da=\set{db|a\rightarrow b}\cup a\downarrow$$