Txantiloi:Infotaula Grafo teorian, grafo osoa erpin guztiak ertzen bidez konektatuta dituen grafo sinplea da.

$n$ erpineko grafo oso batek $n (n - 1) / 2$ ertz ditu, eta $K_{n}$ notazioaz adierazten da. Bere erpin guztiek $(n - 1)$ gradua dutenez grafo erregularra da.

Kuratowski-ren teoremaren arabera, grafo lau batek ezin du $K_{5}$ grafo osoa (edo $K_{3, 3}$ zatibiko grafo osoa) bere baitan izan. $K_{n}$ grafoek $K_{n - 1}$ bere baitan dutenez, grafo osoa ezin da laua izan $n$ $\geq$ $5$ balioetarako.