I grafteori er en stabil - også kendt som uafhængig enhed eller uafhængig sæt på engelsk - et sæt på to topmøder på to ikke-tilstødende. Staldens størrelse er lig med antallet af hjørner, den indeholder.
Den maksimale størrelse af en stald af en graf, bemærket I (G) , er en uforanderlig graf. Det kan relateres til andre invarianter, for eksempel til størrelsen på det maksimale dominerende sæt , betegnet dom (G) . Kaldet kvadrat af en graf G grafen G ' anvendelse af de samme højder og har en kant mellem to knuder u og v , hvis og kun hvis der findes en sti af længde på højst 2 mellem u og v i G . Så er I (G ') mindre end eller lig med dom (G) .
At finde en stabil med maksimal størrelse i en graf er et klassisk problem i kompleksitetsteori . Det er NP-komplet og vanskeligt at tilnærme sig .