目录
偏序关系
偏序集合（Partially ordered set，简写poset）是数学中，特别是序理论中，指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.
查看 序嵌入和偏序关系
单射
在數學裡，單射函數（或稱嵌射函數，國家教育研究院雙語詞彙、學術名詞暨辭書資訊網、一對一函數，英文稱 injection、injective function或 one-to-one function）為一函數，其將不同的輸入值對應到不同的函數值上。更精確地說，函數f被稱為是單射的，當對每一陪域內的y，存在至多一個定義域內的x使得f(x).
查看 序嵌入和单射
单调函数
在数学中在有序集合之间的函数是单调（monotone）的，如果它们保持给定的次序。这些函数最先出现在微积分中后来推广到序理论中更加抽象结构中。尽管概念一般是一致的，两个学科已经发展出稍微不同的术语。在微积分中，我们经常说函数是单调递增和单调递减的，在序理论中偏好术语单调、反单调或序保持、序反转。.
查看 序嵌入和单调函数
序同构
在数学领域序理论中，序同构是特殊种类的单调函数，构造了一个适合偏序集合的同构概念。当两个偏序集合是序同构的时候，它们可以被认为是“本质上相同”的，在一个次序可以通过重命名元素而从另一个次序获得。有关于序同构的两个严格更弱的概念是序嵌入和伽罗瓦连接。.
查看 序嵌入和序同构
序理论
序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。.
查看 序嵌入和序理论
伽罗瓦连接
在数学中，特别是在序理论中，伽罗瓦连接是在两个偏序集（"poset"）之间的特殊的对应。伽罗瓦连接一般化了伽罗瓦理论中在子群和子域之间的对应。它们用于各种数学理论和编程理论中。 伽罗瓦连接要弱于在涉及到的两个偏序集之间的同构，但是所有的伽罗瓦连接都引发特定在两个子偏序集之间的同构。.
查看 序嵌入和伽罗瓦连接
当且仅当
当且仅当（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也一定不成立”。.
查看 序嵌入和当且仅当