接続行列の転置行列formula_15により定義されるハイパーグラフformula_16をformula_17の「双対(dual)」であるといい、formula_18は "m" 個の元からなる集合、formula_19は "n" 個のformula_18の部分集合からなる集合である。