Definition:Base Axiom (Matroid)