Nyo adalah sifet yeng jeut dibuktikan dari bilangan rasional ngen sistem bilangan posisional, ngen hana dipakek seubagai definisi dalam matematika.