"set construction"