Prove two Admitted Lemmas- subset_minus and subset_rm.

Modified inductive definition of subset.