Epsilon-aruhan

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
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.

Induksi matematik