Aşağıdaki önermelerden hangisi, rasyonel sayılar kümesinin yoğunluk özelliğini matematiksel olarak en doğru şekilde ifade eder?
A) $\forall x, y \in \mathbb{Q}, x < y \Rightarrow \exists z \in \mathbb{Q} \text{ öyle ki } x < z < y$
B) $\forall x \in \mathbb{Q}, \exists y \in \mathbb{Q} \text{ öyle ki } y > x$
C) $\forall x, y \in \mathbb{Q}, x \neq y \Rightarrow \exists z \in \mathbb{Z} \text{ öyle ki } x < z < y$
D) $\forall x, y \in \mathbb{R}, x < y \Rightarrow \exists z \in \mathbb{Q} \text{ öyle ki } x < z < y$
