Dalam matematik, ∈ {\displaystyle \in } -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.