Субмодулярная функция (матроида)

Субмодулярная функция (матроида) (Submodular function (of a matroid)) - неотрицательная целочисленная функция, определенная на подмножествах основного множества [math]\displaystyle{ S(M) }[/math] матроида [math]\displaystyle{ M }[/math], для которой справедливы субмодулярные неравенства.