Tutte's Characterization of Regular Matroids by Totally Unimodular Matrices is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that let be a finite matroid with ground set . Then is regular, meaning that is representable over every field, if and only if there exist and an integer matrix whose columns are indexed by such that represents over and is totally unimodular,.