将修正的Kleene系统中的广义重言式理论进行推广，讨论了其序稠密子代数的广义重言式理论，并利用可达广义重言式的概念在W的序稠密子代数中给出F（S）关于┐同余的一个分划。