Synonym
積集合