Every Totally Unimodular Matrix Represents a Regular Matroid is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let , and let be a totally unimodular integer matrix, meaning that every square minor of has determinant in . Let index the columns of , and let be the column matroid whose independent sets are the subsets for which the columns of indexed.