Therefore, formula_4 is a subset of formula_7, where formula_8 is the power set of formula_3.
Hipergraf formula_1 je par formula_2,: kjer je* formula_3 množica elementov, ki jih imenujemo vozlišča* formula_4 je neprazna podmnožica množice formula_3, njene elemente imenujemo "hiperpovezave".