directed graph subgroup of graph, 2 assertions