a_1, a_2, a_3 が右手系であるということの定義が齋藤正彦著『線型代数入門』には書いてありません。

おそらく、

a_1 × a_2 と a_3 との交角が 0 以上 π/2 未満であるというのが定義なんだと推測します。