Изменения

# Если <math>A,B \in I</math> и [[мощность множества|мощность]] A больше [[мощность множества|мощности]] B, то существует <math>x \in A \setminus B</math> такой, что <math>B \cup \{x\} \in I</math>

'''МатроидМатроидом''' — пара называется непустое множество <math>E</math> вместе с [[Оператор_замыкания_для_матроидов | оператором замыкания]]<math>(X, A\to H(\langle A))\rangle</math>такое, где что#<math>\forall p,q \in E</math> и <math>A \subset E</math> из <math>Xq \notin \langle A \rangle</math> и <math> q \in \langle A \cup p \rangle \Rightarrow p \in \langle A \cup q \rangle</math> — конечное множество, называемое носителемматроида, а #<math>\forall A \to H(subset E</math> существует такое множество <math>B \subset A)</math> — правильное замыкание на , что <math>(2^X,\le)langle A \rangle = \langle B \rangle </math> == Дополнительные понятия ==*'''Базами''' матроида называются максимальные по включению независимые множества.*'''Рангом''' матроида называется мощность его баз. Ранг тривиального матроида равен нулю.  == Литература ==''Асанов М. О., Баранский В. А., Расин В. В.'' - Дискретная математика: Графы, матроиды, алгоритмы. '''ISBN 978-5-8114-1068-2'''<br />