S－系统F（＋，·，1）的值位与赋值Near－环

本文给出赋值Ｎｅａｒ－环、Ｓ－系统赋值和Ｆ－值位的定义并进行了研究，得出Ｓ－系统等价的值位类与赋值Ｎｅａｒ－环之间的对应关系。