Изменения

|statement = <tex>M = \langle X, I \rangle</tex> — [[Определение матроида|матроид]], <tex> f \colon X \to Y</tex>. Тогда <tex>M_1 = \langle Y, I_1 = \mathcal \{ f(A) \mid A \in I \mathcal \} \rangle </tex> является матроидом.