2，其中formula_3是一个有限集合，该集合的元素被称为"节点"或"顶点"，formula_4是formula_3的非空子集的集合，被称为超边或连接。因此，formula_4是formula_7的一个子集，其中formula_8是formula_3的幂集。尽管图的边各有一对节点，而超边是节点的任意集合，因而能包含任意数量的节点。然而，通常的研究更倾向于每个超边连接的节点数相同的超图：k-均匀超图（每个超边都连接了k个节点）。因此，2-均匀超图就是图，3-均匀超图就是三元组的集合，依此类推。