<正> 设(?)是所有 L—群所成的类,S 与 R_(?)分别记所有根类与 K—根类的类,S 与 R_k 在普通包含关系下,构成完备的 Brouwer 格,Ja......