Positive root
= Positive root
A choice of positive roots selects exactly one of $\alpha$ and $-\alpha$ and is closed under addition whenever the sum is a root.
= Positive root
A choice of positive roots selects exactly one of $\alpha$ and $-\alpha$ and is closed under addition whenever the sum is a root.