"Általában nem olyan tragikus a helyzet, vagy könnyedén lekorlátozható az értelmezési tartomány egy biztosan megfelelőre"
De akkor a példádra visszatérve úgy kell megadni *minden* argumentum típusát (és nem csak intet használni, felelőtlenül), hogy tényleg totális függvény legyen, parciális helyett.
Szóval szép a mórickapéldád, de sokkal szebb lenne, ha tényleg megmutatnád a példában, hogy minden bemenet számít. Pláne akkor, ha azt mondod, hogy "könnyedén lekorlátozható az értelmezési tartomány egy biztosan megfelelőre, vagy eleve diszkrét elemekből áll az input", akkor azt meg is kell tenni minden esetben.