f : \mathbb{Q} \to \mathbb{Q}