Seymour Decomposition Theorem for Regular Matroids is a result in [matroid theory](/page/Matroid%20Theory). It formalizes the assertion that every regular matroid can be obtained from graphic matroids, cographic matroids, and copies of by repeated use of sums, sums, and sums. Conversely, every matroid obtained in this way is.