Basis (Basissystem)

Eine inklusionsmaximale unabhängige Teilmenge von $E$ heißt Basis.