i1 : D = digraph({a,b,c,d,e},{{a,b},{b,c},{b,d},{e,b}});
i2 : nondescendants (D, d) o2 = set {a, b, c, e} o2 : Set