根据紧致性定理，任何理论表现为句子集合。

给定一个句集（理论）S。在句集S中快速检索包含特定字符的句子的过程叫做“全文检索系统“。

设法找出句集S的最小字符集并且加意索引。

 在句集S中,找出所有包含字符F句子的集合（S的子句集）并且按照F在句子中的位置排序。

该S的子句集就是对应于F的全文检索的结果。

本文用途，不言自明。

袁萌 陈启清  7月12日