Set whose elements are all contained within another set.