Incorrect set-builder description of the Matroid polytope

edit
 

is an incorrect description of the matroid basis polytope. Rather, it describes the matroid independence polytope. This can be easily seen as  , the characteristic vector of the empty set, satisfies  . The correct description would be

 .

NaturalLogZ (talk) 02:56, 3 October 2024 (UTC)Reply