关键词检索中的代数概念