直交 = orthogonal だからなぁ
公理が直交と言っても特に違和感は無いな