在Ｓ．Ｍ．Ｇoberstein系统工作的基础上，从别一个角度研究了基本正则半群Ｃ－确定性，首次证明了：若Ｓ是基本正则半群且indS大于２，则Ｓ是强Ｃ－确定的。......

设S是一个半群，S×S的所有子半群（含空半群），按照二元关系的复合（o）、逆（-1）及集合包含关系（真包函于）构成了S上的对应丛．记为（C（S），o，-1，真包函......