两个真分数的积一定是 真分数。以下是详细的解释和证明：
定义
真分数是指分子小于分母的分数，即 $\frac{a}{b}$ 中，$a < b$。
乘法性质
分数乘法的规则是分子乘分子，分母乘分母，即 $\left（ \frac{a}{b} \right） \times \left（ \frac{c}{d} \right） = \frac{a \times c}{b \times d}$。
分子和分母的关系
由于 $a < b$ 和 $c < d$，所以 $a \times c < b \times d$。
这意味着 $\frac{a \times c}{b \times d}$ 的分子小于分母，因此它仍然是一个真分数。
例子验证
例如，$\frac{1}{2} \times \frac{1}{3} = \frac{1 \times 1}{2 \times 3} = \frac{1}{6}$，积 $\frac{1}{6}$ 是真分数。
再如，$\frac{2}{3} \times \frac{4}{5} = \frac{2 \times 4}{3 \times 5} = \frac{8}{15}$，积 $\frac{8}{15}$ 也是真分数。
综上所述，两个真分数的积一定还是真分数，因为它们的分子相乘后的结果仍然小于分母相乘后的结果。