Split matroid axioms into seperate definitions.