劣モジュラ関数