Definition node_set (G : cgraph) : hSet := make_hSet (node G) (isaset_node G).
Require Import UniMath.MoreFoundations.Propositions. Require Import UniMath.MoreFoundations.PartD. Require Import UniMath.Combinatorics.Graph.