ホールの定理
ホールの定理（）または結婚定理（）は、組合せ数学の帰結の1つで、有限集合の集まりのそれぞれから別個の元を選択できる条件を与える。名称の由来は数学者のフィリップ・ホール（1904年-1982年）。