Definition:Independent Subset (Matroid)