集合抽取

set abstraction