Valódiosztóösszeg-függvény
A számelméletben használatos függvények között az n pozitív egész számokra értelmezett s(n) valódiosztóösszeg-függvény (aliquot sum) n összes valódi osztójának összegét adja. Értéke mindig n-nel kisebb a σ(n)-nel jelölt osztóösszeg-függvényénél.
- Tökéletes számokra s(n) = n;
- hiányos számokra s(n) < n;
- bővelkedő számokra s(n) > n.
Azok a pozitív egész számok, melyek nincsenek benne az s(n) értékkészletében, érinthetetlen számok.
Az osztóösszeg-sorozat az s valódiosztóösszeg-függvény ismételt alkalmazásából adódó sorozat.