目录
偏序关系
偏序集合（Partially ordered set，简写poset）是数学中，特别是序理论中，指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.
查看 共尾和偏序关系
序列
数学上，序列是被排成一列的对象（或事件）；这样，每个元素不是在其他元素之前，就是在其他元素之后。这里，元素之间的顺序非常重要。.
查看 共尾和序列
到达域
對應域(codomain)，或稱為目標集合(target set)。 在數學上，一個函數的對應域指的是至少包含所有此函數的輸出值的一個集合。若一函數f\colon X \rightarrow Y，則Y是該函數的對應域。 f的值域是Y的一個子集，若f是一個滿射函數(surjective function)，則f的對應域和值域相等，反之則代表有y \in Y不存在於f的值域中，使得方程式f(x).
查看 共尾和到达域
冪集
数学上，给定集合S，其幂集\mathcal(S)（或作2^S）是以S的全部子集为元素的集合。以符号表示即为 在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。 \mathcal(S)的任何子集F称为S上的集族.
查看 共尾和冪集
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
查看 共尾和函数
全序关系
全序关系即集合X上的反对称的、传递的和完全的二元关系（一般称其为\leq）。 若X满足全序关系，则下列陈述对于X中的所有a,b和c成立：.
查看 共尾和全序关系
共尾性
在數學裡，尤其是在序理論裡，一个偏序集合 A 的共尾性 cf(A) 是指 A 的共尾子集的勢中的最小者。 共尾性的定義依賴於選擇公理，因为它利用了所有非空的基數集合都有一个最小成员的事实。偏序集合 A 的共尾性亦可定義成最小的序数 x，使得有着值域共尾于陪域的一个从 x 到 A 的函数。第二個定義不需要選擇公理也可以有意義。若假設有選擇公理（此條目接下來的部分亦將如此假設），這兩種定義將是等價的。 共尾性也可類似地被定義在有向集合上，并且用來廣義化网中的子序列概念。.
查看 共尾和共尾性
值域
在数学中，函数的值域（Range）是由定义域中一切元素所能產生的所有函數值的集合。有时候也称为函数的像。 给定函数f: A\rightarrow B，集合f(A)被称为是f的值域，记为R_。值域不应跟陪域B相混淆。一般来说，值域只是陪域的一个子集。.
查看 共尾和值域
網 (數學)
在拓撲學和數學的相關領域裡，網是序列的廣義化，用來統一極限不同的概念和將其廣義至任意的拓撲空間。網的極限對一般拓撲空間扮演的角色，就好比序列的極限之於第一可數空間（例如度量空間）。 一個序列通常以為全序集合的自然數做為索引。網廣義化了此一概念，以把索引集合上的次序关系削弱成有向集合。 網於西元1922年首次由E.
查看 共尾和網 (數學)
预序关系
序关系（简称预序，又称先序，preorder）、在数学中，是一类接近于偏序关系的二元关系，但仅满足自反性和传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。.
查看 共尾和预序关系
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
查看 共尾和自然数
良序关系
在数学中，集合S上的良序关系（或良序）需要满足：1.是在S上的全序关系2.
查看 共尾和良序关系
陪集
数学上，若G为群，H为其子群，而g为G中元素，则 仅当H为正规子群时，左右陪集相同，这也是子群正规性的一个定义。 陪集指某个G中子群的左或右陪集。因为Hg.
查看 共尾和陪集
柯西序列
在数学中，一个柯西列或柯西数列是指这样一个数列，它的元素随着序数的增加而愈发靠近。更确切地说，在去掉有限个元素后，可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正数。柯西列是以数学家奥古斯丁·路易·柯西的名字命名的。 柯西列的定义依赖于距离的定义，所以只有在度量空间中柯西列才有意义。在更一般的一致空间中，可以定义更为抽象的柯西滤子和柯西网。 一个重要性质是，在完备空间中，所有的柯西数列都有极限且极限在这空间里，这就让人们可以在不求出这个极限（如果存在）的情况下，利用柯西列的判别法则证明该数列的极限是存在的。柯西列在构造具有完备性的代数结构的过程中也有重要价值，如构造实数。.
查看 共尾和柯西序列
正规子群
在抽象代数中，正规子群或不变子群指一类特殊的子群。由正规子群，可以引导出商群的概念。 埃瓦里斯特·伽罗瓦是最早认识到正规子群的重要性的人。.
查看 共尾和正规子群
有向集合
在数学中，有向集合（也叫有向预序或过滤集合），是一个具有预序关系（自反及传递之二元关系 ≤）的非空集合 A，而且每一對元素都會有個上界，亦即对于 A 中任意两个元素 a 和 b，存在着 A 中的一个元素 c（不必然不同于 a,b），使得 a ≤ c 和 b ≤ c（有向性）。 有向集合是非空全序集合的廣義化，亦即所有的全序集合都會是有向集合（偏序集合則不一定是有向的）。在拓撲學裡，有向集合被用來定義網，一種廣義化序列且統合用於數學分析中各式極限的概念。有向集合亦在抽象代數及（更一般的）範疇論中被用來產生有向極限這類的概念。.
查看 共尾和有向集合
最大元
设(A, \leq)是偏序集，B \subseteq A，y \in B，若对于所有的x，x \in B~\implies~x \leq y，则称y为B的最大元。 请注意最大元和极大元的区别。最大元是B中最大的元素，它与B中其它元素都可比；而极大元不一定与B中其它元素都可比，只要没有比它大的元素，它就是极大元。对于有穷集合B，极大元一定存在，但最大元不一定存在。最大元如果存在一定是唯一的，但极大元可能有多个。.
查看 共尾和最大元
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 共尾和数学