针对开源搜索引擎ASPSeek中的倒排索引的内部结构和访问模式，抽象出倒排索引的形式化定义。