Số hữu tỉ là số có thể viết dưới dạng phân số $\frac{a}{b}$, trong đó $a$ và $b$ là các số nguyên và $b \neq 0$. Tập hợp các số hữu tỉ được kí hiệu là $\mathbb{Q}$. Mọi số nguyên $\mathbb{Z}$ đều là số hữu tỉ vì ta có thể viết $n = \frac{n}{1}$. Do đó, $\mathbb{Z} \subset \mathbb{Q}$.

Số hữu tỉ có thể được biểu diễn dưới dạng phân số hoặc số thập phân. Mọi số hữu tỉ đều có thể viết dưới dạng số thập phân hữu hạn hoặc số thập phân vô hạn tuần hoàn. Ngược lại, mọi số thập phân hữu hạn hoặc vô hạn tuần hoàn đều là số hữu tỉ. Ví dụ, $\frac{1}{2} = 0.5$ (hữu hạn) và $\frac{1}{3} = 0.333... = 0.(3)$ (vô hạn tuần hoàn).

Để so sánh hai số hữu tỉ, ta có thể quy đồng mẫu số hoặc chuyển chúng về dạng số thập phân. Nếu quy đồng mẫu số về cùng mẫu dương $m$, ta so sánh hai tử số. Ví dụ, so sánh $\frac{2}{3}$ và $\frac{3}{4}$. Quy đồng mẫu số $12$, ta có $\frac{2}{3} = \frac{8}{12}$ và $\frac{3}{4} = \frac{9}{12}$. Vì $8 < 9$ nên $\frac{2}{3} < \frac{3}{4}$.

Mỗi số hữu tỉ được biểu diễn bởi một điểm trên trục số. Để biểu diễn số hữu tỉ $\frac{a}{b}$ ($b > 0$), ta chia đoạn thẳng đơn vị thành $b$ phần bằng nhau. Lấy $a$ điểm như quy ước. Ví dụ, để biểu diễn $\frac{2}{3}$, ta chia đoạn $(0, 1)$ thành 3 phần bằng nhau, lấy điểm thứ 2 về phía dương.