emptyGraph : Graph(ℕ)
emptyGraph
vertex(1) : Graph(ℕ)
vertex(1)
map({(1, {})})
vertex(1) + vertex(2) : Graph(ℕ)
vertex(1) + vertex(2)
map({(1, {}), (2, {})})
vertex('a') + vertex('b') + vertex('c') : Graph(Char)
vertex('a') + vertex('b') + vertex('c')
map({('a', {}), ('b', {}), ('c', {})})
(vertex(1) + vertex(2)) * vertex(3) : Graph(ℕ)
(vertex(1) + vertex(2)) * vertex(3)
map({(1, {3}), (2, {3}), (3, {})})
vertex(1) * (vertex(2) * (vertex(3) * (vertex(4) * (vertex(5) * emptyGraph))))
map({(1, {2, 3, 4, 5}), (2, {3, 4, 5}), (3, {4, 5}), (4, {5}), (5, {})})