Differentiability on a domain

Let \( X \) be a subset of \( \mathbb{R} \) and let \( f : X \to \mathbb{R} \) be a function. We say that \( f \) is differentiable on \( X \) iff [...].

Tao describes this as an if rather than iff statement.