Let be an arbitary set and be the power set of S. Then, when we say consider a subset of , do we mean it syntactically or semantically? In other words, do we mean is a subset of and so is a collection of subsets of , or do we mean is a subset of and so is just one single element of as all elements of are originally subsets of ?