Dalam matematik, -aruhan (epsilon-aruhan atau set-aruhan) ialah varian bagi induksi transfinit.

Dianggap sebagai skema aksiom teori set, ia dipanggil skema Axiom set aruhan.

Ia boleh digunakan dalam teori set untuk membuktikan bahawa semua set memenuhi sifat tertentu. Ini ialah kes khas induksi yang berasas.

Kenyataan

sunting

Ini menyatakan, untuk suatu sifat  , bahawa untuk setiap himpunan  , kebenaran   mengikuti dari kebenaran   untuk semua unsur  , maka sifat   ini berlaku untuk semua himpunan. Dalam simbol:

 

Perhatikan baahwa untuk "kes di bawah" dimana   melambangkan himpunan kosong,  .   ialah kebenaran hampa.