Изменения

'''Матроид''' <tex>\mathrm{(англ. ''matroid'')}</tex> {{---}} пара <tex>\langle X,I \rangle</tex>, где <tex>X</tex> {{---}} конечное множество, называемое '''носителем матроида''' <tex>\mathrm{\ (англ. ''ground \ '' ''set'')}</tex>, а <tex>I</tex> {{---}} некоторое множество подмножеств <tex>X</tex>, называемое семейством '''независимых множеств''' <tex>\mathrm{\ (англ. ''independent \ '' ''sets'')}</tex> , то есть <tex>I \subset 2^X </tex>. При этом должны выполняться следующие условия:

'''База матроида''' <tex>\mathrm{(англ. ''basis'')}</tex> {{---}} максимальное по включению независимое множество .

'''Зависимое множество''' <tex>\mathrm{\ (англ. ''dependent \ '' ''set'')}</tex> {{---}} подмножество носителя матроида, не являющееся независимым.

'''Цикл матроида''' <tex>\mathrm{(англ. ''circuit}</tex> '') {{---}} минимальное по включению зависимое множество.