(matematika,gráfelmélet) A Kőnig-tétel a gráfelméletben egy páros gráfmaximális párosítása és a minimális lefogó ponthalmaza közötti ekvivalenciát mondja ki. A tétel Kőnig Dénestől származik. Legyen egy páros gráf. Ekkor a tétel szerint (azaz a legnagyobb független élhalmaznak ugyanannyi eleme van, mint a legkisebb lefogó ponthalmaznak), és ha G-ben nincs izolált pont, akkor (azaz a legkisebb lefogó élhalmaz azonos méretű a legnagyobb független ponthalmazzal).
