t_wの輪郭

項
「\(m_i\) の部分積項 \(\tilde{m}\) の内、\(\tilde{m} \le f\) を満たすものを \(f\) の内項と呼ぶ」