软代数的素理想与同余格

对软代精Ｆ，以ｘ（Ｆ）表示Ｆ的全体素理想组成的集。ｃｏｎ（Ｆ）表示Ｆ的同余关系ｐ（ｘ（Ｆ））表示ｘ（Ｆ）的害虫集格的对介同格。