Correct definition of subset.