ケーニヒの定理 (集合論)
集合論において、ケーニヒの定理（ケーニヒのていり）
とは選択公理の下で成り立つ命題で、
"I" が集合で、全ての "I" の要素 "i" について "mi" と "ni" は
それぞれ基数であり、formula_1であるなら 
となる。というものである。
ここでの "和" は集合"mi"達の直和の濃度で、 "積" は直積の濃度である。
しかしながら、選択公理を仮定しない場合は、この和と積は基数として定義できないので、
その場合にこの定理を考慮するにはこの不等式の意味は明らかにされる必要がある。