Forming sets from bigger sets