proposition: Lemma sub_stable (B A : {set G}) : A \subset B -> stable B -> stable A.
proof: Proof. move => subAB stB. exact: (hereditaryP _ st_hereditary _ _ subAB). Qed.
imports: mathcomp(all_ssreflect) GraphTheory(preliminaries digraph sgraph)