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

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

[math]M =\; \langle X,I \rangle[/math] - матроид. Тогда замыкание (closure) множества [math]A \subset X[/math] - это множество [math]\langle A \rangle \subset X[/math] такое, что [math]\langle A \rangle = A \cup {x\; |\; \forall B \subset A : B \in I ,\; B \cup x \notin I}[/math]

Теорема:

Оператор замыкания для матроидов обладает следующими свойствами: 1) [math]A \subset B \Rightarrow \langle A \rangle \subset \langle B \rangle[/math] 2) [math]q \notin \langle A \rangle,\; q \in \langle A \cup p \rangle \Rightarrow p \in \langle A \cup q \rangle[/math] 3) [math]\langle \langle A \rangle \rangle = \langle A \rangle [/math]