how to prove a set is a subset of another