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

Определение:

[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]