set construction

/Tag: set construction