また、組合せ論的には横断(transversal)とも呼ぶ。