Téyori impunan iku cawang logika matématika kang nyinaoni impunan, kang ora resminé ya iku kumpulan barang. Sanajan sembarang tipe obyèk bisa diklumpukaké dadi impunan, téyori impunan digunakaké paling kerep kanggo obyek kang cocog kanggo matématika. Basa téyori impunan bisa digunakaké ing ukara salawasé kabèh objèk matématika.