Субмодулярное неравенство

Субмодулярное неравенство (Submodular inequality]) - для матроида [math]\displaystyle{ M = (S, {\mathcal I}) }[/math] и любых подмножеств [math]\displaystyle{ A, \, B \subseteq S }[/math] неравенство для ранговой функции [math]\displaystyle{ \rho }[/math]:

[math]\displaystyle{ \rho(A \cup B) + \rho(A \cap B) \leq \rho(A) + \rho(B). }[/math]