Closure Axiomatization of Matroids is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite set and let satisfy, for all and : ; if , then ; ; and if , then . Then the subsets satisfying for every are the independent sets of a.