. . . "A hypergraph G is defined to be the pair (V, E), where V is a non-empty set of nodes and E is the set of hyperedges, such that E is a mapping on non-empty subsets of V (i.e., E:2v ???2v)." .