设H是字母表A上的一个非空语言。如果H关于A^*上的嵌入序是无关的,则称H为A^*上的一个超码。超码是一类特殊的前缀码。许多学者曾对超码的组合性质,代数性质,序结构以及超码的扩展和应用做了深入的研究。本文主要研究字母表A上的几类超码的半环结构。首先定义了一个序幺半群M的无关子集的代数和有限无关子集代数,证明了结构是幂等半环。接着给出半环K是坡的另一种刻画:一个半环K是一个坡当且仅当对任意的正整数n,满足恒等式x₁x₂…x_n+y₀x₁y₁x₂…x_ny_n=x₁x₂…x_n。在此基础上,最后得到下面三个重要的结论:设A^*是字母表A上的自由幺半群,且设≤_h是A^*上的嵌入序。作为序幺半群（A^*,≤_h）的无关子集的代数结构,A上的超码集H（A）形成自由坡,超码集的子集c-超码集H_c（A）构成自由c-半环,超码集的子集mic-超码集正H_mic（A）构成自由mic-半环。