Lie Groups Beyond an Introduction
《Lie Groups Beyond an Introduction》 · 第 149 页 · Chapter II，Section 5「Abstract Root Systems」
An abstract root system is said to be reduced if $\alpha\in\Delta$ implies $2\alpha\notin\Delta$.