Modular elimination in matroids and oriented matroids

We introduce a new axiomatization of matroid theory that requires the elimination property only among modular pairs of circuits, and we present a cryptomorphic phrasing thereof in terms of Crapo’s axioms for flats.This new point of view leads to a corresponding strengthening of the circuit axioms for oriented matroids.