Commutativity of Matroid Deletion and Contraction is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite matroid with ground set , and let satisfy . Adopt the convention that, whenever an element is a loop in the matroid in which it is to be contracted, the contraction by is defined to be deletion by . Then the following.