In de verzamelingenleer, een deelgebied van de wiskunde, is de stelling van König een strikte ongelijkheid tussen twee kardinaalgetallen die respectievelijk de som en het product zijn van de termen van twee rijen kardinaalgetallen waarvan de een gedomineerd wordt door de ander. Wikipedia