Basisaxiome

Sei $B$ Basissystem eines Matroids $M$ . Dann gilt:

(B1) $B \neq = \emptyset$ (B2) $B_{1}, B_{2} \in B, e \in B_{1} \ B_{2} \Rightarrow \exists f \in B_{2} \ B_{1} mit (B_{1} \ {e}) \cup {f} \in B$

Marcs Notes