であるとき、直交関数列であるという。