fact: Definition approximates_family {k} (graphs : list (graph k)) (R : relation (k_tuple_type k)) := inclusion _ R (list_union (List.map graph_relation graphs)).
imports: Equations(Equations) Examples.Fin Relations Utf8 Relations Wellfounded Setoid RelationClasses Morphisms Lia Bool List Arith String Coq(FunctionalExtensionality) ssreflect