非标准全域简介非标准全域是标准全域的非标准模型，它是另一个超结构的子集
设U=V(S)是一个以S为个体集的标准全域，I为指标集（I可取自然数集或更大的集合），?为I 上的一个自由超滤子， 是I到S的一切函数（I-序列）之集，即 ，其中{ai}表示I到S的一个函数在 上定义等价关系：，当且仅当 ∈?，这个等价关系简单地写成，a.e
令* ，以*S为个体集的超结构记为V(*S)
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
