Jądro grafu – podzbiór wierzchołków grafu skierowanego taki, że:
- wierzchołki z jądra nie przewyższają się nawzajem (nie posiadają następników)
- każdy wierzchołek grafu nie należący do jądra jest przewyższany przez co najmniej jeden wierzchołek z jądra.
Każdy wierzchołek izolowany w grafie należy jednocześnie do jądra.
