正规概念名词解释：GB系统中的一个基本概念.正规概念B指存在本原命题函词φ,使例如,因为名词解释：1.X∈YX∈Y.2.X=Yu(u∈Xu∈Y).3.m(X)u(u=X).所以,∈,=,m等概念都是正规概念,注意上述三个表达式的右边,或是本原命题函词,或是仅含正规概念的合式公式,因而得以化归为本原命题函词.
