比浏览器更快的访问！
24 关系: 域理论，偏序关系，半格，单调函数，定义域，完备性，完全格，序理论，当且仅当，函数，全序关系，紧致元素，特殊化预序，非空集合，迭代函数，格 (数学)，滤子 (数学)，指称语义，有向集合，最小上界，最小不动点，最小元，斯科特连续性，数学。
域理论
域理论是研究通常叫做域(domain)的特定种类偏序集合的数学分支。因此域理论可以被看作是序理论的分支。这个领域主要应用于计算机科学中，特别是针对函数式编程语言，用它来指定指称语义。域理论以非常一般化的方式形式化了逼近和收敛的直觉概念，并与拓扑学有密切联系。在计算机科学中指称语义的一个可作为替代的方式是度量空间。.
偏序关系
偏序集合（Partially ordered set，简写poset）是数学中，特别是序理论中，指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.
半格
设(L, \leq)是一个偏序集，若对于任意的x, y \in L，\都有最小上界（并），或者对于任意的x, y \in L，\都有最大下界（交），则称(L, \leq)构成一个半格。 也可以将半格定义为一个代数结构。一个半格是一个代数结构(L, \vee)或(L, \wedge)，其中\vee和\wedge如同在格的定义中所述。.
单调函数
在数学中在有序集合之间的函数是单调（monotone）的，如果它们保持给定的次序。这些函数最先出现在微积分中后来推广到序理论中更加抽象结构中。尽管概念一般是一致的，两个学科已经发展出稍微不同的术语。在微积分中，我们经常说函数是单调递增和单调递减的，在序理论中偏好术语单调、反单调或序保持、序反转。.
定义域
定义域（Domain），是函数自变量所有可取值的集合。给定函数f:A\rightarrow B，其中A被称为是f的定义域，记作D_。f映射到陪域中的所有值的集合称为f的值域，记作f(A)或R_。 例如，函数f(x).
完备性
在数学及其相关领域中，一个对象具有完备性，即它不需要添加任何其他元素，这个对象也可称为完备的或完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入完备化这个概念。但是在不同的领域中，“完备”也有不同的含义，特别是在某些领域中，“完备化”的过程并不称为“完备化”，另有其他的表述，请参考代数闭域、紧化或哥德尔不完备定理。.
完全格
在数学中，完全格是在其中所有子集都有上确界（并）和下确界（交）的偏序集。完全格出现于数学和计算机科学的很多应用中。作为格的特殊实例，在序理论和泛代数中都有所研究。 完全格一定不能混淆于完全偏序（cpo），它构成严格的更加一般的一个偏序集合类别。更特殊的完全格是完全布尔代数和完全Heyting代数（locale）。.
序理论
序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。.
当且仅当
当且仅当（If and only if）（中国大陆又称作当且--仅当，臺灣又称作若且--唯若），在--邏輯中，逻辑算符反互斥或閘（exclusive or）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”之意，在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”；“A是B的充分必要条件（充要條件）”。 一般而言，當我們看到“A当且仅当B”，我們可以知道“如果A成立時，則B一定成立；如果B成立時，則A也一定成立”；“如果A不成立時，則B一定不成立；如果B不成立時，則A也一定不成立”。.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
全序关系
全序关系即集合X上的反对称的、传递的和完全的二元关系（一般称其为\leq）。 若X满足全序关系，则下列陈述对于X中的所有a,b和c成立：.
紧致元素
在数学领域的序理论中，偏序集合的紧致或有限元素是还未包含在紧致元素之上的成员的任何非空有向子集的上确界所不能包容的那些元素。 注意在数学中还有其他的紧致性概念，还有在常见的集合论中的术语有限的意义不一致于序理论的“有限元素”的概念。.
特殊化预序
在数学分支拓扑学中，特殊化（或规范）预序是在拓扑空间上的自然预序。对在实践中考虑的大多数空间，特别是满足T0 分离公理的那些空间，这个预序甚至是偏序（叫做特殊化序）。在另一方面，对于T1空间这个次序成为平凡的而没有价值。 特殊化序经常在计算机科学应用中考虑，这里的T0空间出现在指称语义中。特殊化序对于识别在偏序集合上合适的拓扑空间是重要的，这在序理论所要做的。.
新！!: 完全偏序和特殊化预序 · 查看更多 »
非空集合
在集合論裏，非空集合是至少含有一个元素的集合。與之相對的是空集。 非空集合的元素个数不为零，而空集不含任何元素。 en:Non-empty set F.
迭代函数
在数学中，迭代函数是在碎形和动力系统中深入研究的对象。迭代函数是重复的与自身复合的函数，这个过程叫做迭代。.
格 (数学)
在数学中，格是其非空有限子集都有一个上确界（叫并）和一个下确界（叫交）的偏序集合（poset）。格也可以特征化为满足特定公理恒等式的代数结构。因为两个定义是等价的，格理论从序理论和泛代数二者提取内容。半格包括了格，依次包括海廷代数和布尔代数。这些"格样式"的结构都允许序理论和抽象代数的描述。.
新！!: 完全偏序和格 (数学) · 查看更多 »
滤子 (数学)
在数学中，滤子(英語：filter)是偏序集合的特殊子集。经常使用的特殊情况是：要考虑的有序集合只是某个集合的幂集，并用集合包含来排序。滤子出现在序理论和格理论中，还可以在它们所起源的拓扑学中找到。滤子的对偶概念是理想。 滤子是昂利·嘉当在1937年发明的并随后在尼古拉·布尔巴基的书《Topologie Générale》中作为对E. H. Moore和H. L. Smith在1922年发明的网的概念的替代。.
新！!: 完全偏序和滤子 (数学) · 查看更多 »
指称语义
在计算机科学中，指称语义（Denotational semantics）是通过构造表达其语义的(叫做指称(denotation)或意义的)数学对象来形式化计算机系统的语义的一种方法。编程语言的形式语义的其他方法包括公理语义和操作语义。指称语义方式最初开发来处理一个单一计算机程序定义的系统。后来领域扩展到了由多于一个程序构成的系统，比如网络和并发系统。 指称语义起源于 克里斯托弗·斯特雷奇 和 Dana Scott 在1960年代的工作。在 Strachey 和 Scott 最初开发的时候，指称语义把计算机程序的指称(意义)解释为映射输入到输出的函数。后来证明对于允许包含递归定义的函数和数据结构，这样的元素的程序的指称(意义)定义太受限制了。为了解决这个困难，Scott 介入了基于域的指称语义的一般性方法。后来的研究者介入了基于幂域的方法，来解决并发系统的语义的问题。 粗略的说，指称语义关注找到代表程序所做所为的数学对象。这种对象的搜集叫做域。例如，程序(或程序段)可以被偏函数，或演员事件图想定，或用环境和系统之间的博弈表示: 它们都是域的一般性例子。 指称语义的一个重要原则是“语义应当是复合性的”: 程序段的指称应当建立自它的子段的指称。最简单的例子是: “3 + 4”的意义确定自“3”、“4”和“+”的意义。 指称语义最初被开发为把函数式和顺序式程序建模为映射输入到输出的数学函数的框架。本文第一节描述在这个框架内开发的指称语义。后续章节处理多态、并发等问题。.
有向集合
在数学中，有向集合（也叫有向预序或过滤集合），是一个具有预序关系（自反及传递之二元关系 ≤）的非空集合 A，而且每一對元素都會有個上界，亦即对于 A 中任意两个元素 a 和 b，存在着 A 中的一个元素 c（不必然不同于 a,b），使得 a ≤ c 和 b ≤ c（有向性）。 有向集合是非空全序集合的廣義化，亦即所有的全序集合都會是有向集合（偏序集合則不一定是有向的）。在拓撲學裡，有向集合被用來定義網，一種廣義化序列且統合用於數學分析中各式極限的概念。有向集合亦在抽象代數及（更一般的）範疇論中被用來產生有向極限這類的概念。.
最小上界
在数学中，最小上界（supremum，亦称上确界，记为sup E）是序理论的重要概念，在格论和数学分析等领域有广泛应用。.
最小不动点
在数学分支序理论中，函数的最小不动点是按照某种偏序小于等于其他不动点的不动点。 例如，如下实函数的最小不动点 是在实数的通常次序上的 x.
新！!: 完全偏序和最小不动点 · 查看更多 »
最小元
设(A, \leq)是偏序集，B \subseteq A，y \in B，若对于所有的x \in B都有y \leq x，则称y为B的最小元。 请注意最小元和极小元的区别。最小元是B中最小的元素，它与B中其它元素都可比；而极小元不一定与B中其它元素都可比，只要没有比它小的元素，它就是极小元。对于有穷集合B，极小元一定存在，但最小元不一定存在。最小元如果存在一定是唯一的，但极小元可能有多个。.
斯科特连续性
在数学中，在偏序集合P和Q之间的单调函数 是Scott-连续的，如果它保存所有有向上确界，就是说，对于所有有向集合D，有着上确界sup(D)在 P中，则集合 有上确界f(sup(D))在Q中。 这实际上等价于在各自的偏序集合上关于斯科特拓扑是连续的。 Category:域理论.
新！!: 完全偏序和斯科特连续性 · 查看更多 »
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
