A note on matchings and separability

Abstract It is observed that minimal totally dual integral systems for a class of independence systems are closely related to a type of separability. This observation is used to give a short proof, using Edmonds' matching polytype theorem, of a theorem of Cunningham and Marsh which gives a description of the minimal totally dual integral defining sysem for the matching polytope and also to show the relationship between that result and a theorem of F.R. Giles.