Изменения

|statement= Пусть некоторая функция <tex>r: 2^X \to \{0\} \cup \mathbb{N}</tex>, где <tex>2^X</tex> {{---}} конечное непустое множество, удовлетворяет условиям:

# <tex> 0 \leqslant r(A) \leqslant |A| </tex>.

# <tex>\forall A, B \subset X,</tex> <tex>r(A \cup B) + r(A \cap B) \leqslant r(A) + r(B)</tex>

Тогда <tex>r</tex> является [[Ранговая функция, полумодулярность|ранговой функцией]] однозначно определенного матроида на <tex>X</tex>.