准严格关系与码

定义并确定了自由幺半群上的准严格关系，讨论了所有准严格关系的集合及其若干子集的序性质，并证明了余相容准严格关系的无关语言都是码