Rozpatrujemy taką funkcję, która dla każdej liczby wymiernej przypisuje wartość , a niewymiernej wartość .

Ważne jest, że między dwoma liczbami wymiernymi istnieje liczba niewymierna, a między dwoma