Introduction to Mathematical Thinking

by Keith Devlin

This definition legitimizes functions such as the one defined on real numbers by the rule: If x is rational, set f(x) = 0; if x is irrational, set f(x) = 1.