[gred]

let A be a fixed subset of set X and
I={B proper subset of X | A not a subset of B}.Show that (X,I) is a matroid.