Оператор замыкания для матроидов

Материал из Викиконспекты
Перейти к: навигация, поиск
Определение:
[math]M =\; \lt X,I\gt [/math] - матроид. Тогда замыкание (closure) множества [math]A \subset X[/math] - это множество [math]\lt A\gt \subset X[/math] такое, что [math]\lt A\gt = A \cup ({x\; |\; \forall B \subset A : B \in I ,\; B \cup x \notin I})[/math]