超积拓扑有序域

N.Bourbaki学派把数学定义为研究数学结构的科学。超积是纯集合论的东西,但它在模型论中占有举足轻重的地位,本文在超积中引进常见的三种数学结构,并讨论了与之有关的相容性和嵌入问题。本质上给出了超实数有序域理论[1]的自然而相当广泛的一种推广。我们先从介绍下列概念开始,称五元组(G,+,·,≤,)是拓扑域,是指:集G中的代数结构+与·;序结构≤;拓扑结构