Past exam of the computer science course of the University of Oxford / 2023 / Combinatorial optimisation / 2 / c / vii / Solution

By (ii), $Y\subseteq \sigma (Y)$, and by (vi) these subsets have equal rank of a matroid. Apply (v) to this pair to obtainThus the closure of a matroid is an idempotent function.