比浏览器更快的访问！
29 关系: 偶数，存在，对称差，不交并，布尔代数，布尔环，布尔逻辑，并集公理，交集，交換律，当且仅当，德摩根定律，分配律，單位元，空集，类 (数学)，素数，结合律，补集，自然数，集合 (数学)，集合论，求和，朴素集合论，指标集，或，数学，数学分析，0。
偶数
#重定向 奇偶性 (数学).
存在
存在（Existence），又譯為實在、存有，是一个哲学概念，按照20世紀西方存在主义哲學家的定义，是具有難以改變，但能夠改變的特性。而相對於存在的不存在（虛無）則是具有難以控制，但能夠控制的特性。而兩者的界別存在於（無限線）的正反面上。但此界別中的正反面本不存在，故分辨的方向只在乎於其外延對該物的影響。 貝克萊認為，無法被感知的事物（包括被神感知），就無法證明其存在，故“存在就是被感知”。 黑格爾認為，存在不過是絕對理念的一個最簡單的規定；存在主義所說的“存在”，實質上僅僅是個人的主觀存在。 存在乃是一切存在者的共性。 存在可以說是「可以被理解並形成概念」，以一個小嬰兒為例，他剛出生，並不了解「書本」為何物，但是一旦他長大後了解了「書本」為何物，那對他來說，「書本」的概念已經形成，所以存在。所以「存在」是相對於個體的一種狹義概念。對我們來說，未來的科技是「不存在的」，但我們一旦理解，那「不存在」將會被轉變為「存在」，所以可以說我們的世界是無法定義「不存在」，因為我們如果把某項東西定義為「不存在」，那不存在的東西便存在了。.
对称差
数学上，两个集合的对称差是只属于其中一个集合，而不属于另一个集合的元素组成的集合。 集合论中的这个运算相当于布尔逻辑中的异或运算。 集合A和B的对称差通常表示为A\triangle B，对称差的符号在有些图论书籍中也使用\oplus符号来表示。例如：集合\和\的对称差为\。所有学生的集合和所有女性的集合的对称差为所有男性学生和所有女性学生组成的集合。.
不交并
在集合論，一組集合的不交并指的是一種修改過的并集運算，除了普通的并集，還標記了元素的來源。不交并還有另一個意義，指的是兩兩不交的集合的并集。.
布尔代数
在抽象代数中，布尔代数(Boolean algebra)是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， 相似于集合论断言子集A和它的补集AC有空交集， 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中 ≤ 。任何两个格的元素，比如p .
布尔环
在数学中，布尔环R是对于所有R中的x有x^2.
布尔逻辑
布尔逻辑（Boolean algebra，台湾译--，中國大陸譯--）得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年，克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。.
并集公理
在公理化集合论和使用它的逻辑、数学和计算机科学分支中，并集公理是 Zermelo-Fraenkel 集合论的公理之一。它声称对于任何集合 A 有一个集合 B，B的元素正是 A 的元素的元素。.
交集
数学上，两个集合A和B的交集是含有所有既属于A又属于B的元素，而没有其他元素的集合。.
交換律
交換律(Commutative property)是被普遍使用的一個數學名詞，意指能改變某物的順序而不改變其最終結果。交換律是大多數數學分支中的基本性質，而且許多的數學證明需要倚靠交換律。簡單運算的交換律許久都被假定存在，且沒有給定其一特定的名稱，直到19世紀，數學家開始形式化數學理論之後，交換律才被聲明。.
当且仅当
当且仅当（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也一定不成立”。.
德摩根定律
在命题逻辑和逻辑代数中，德摩根定律De Morgan's laws（或称笛摩根定理、对偶律）是关于命题逻辑规律的一对法则。 奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系： 即： 德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知（引自Bocheński《形式逻辑历史》）。.
分配律
在抽象代数中，分配律是二元运算的一个性质，它是基本代数中的分配律的推广。.
單位元
單位元是集合裏的一種特別的元素，與該集合裏的二元運算有關。當單位元和其他元素結合時，並不會改變那些元素。單位元被使用在群和其他相關概念之中。 設 (S,*)為一帶有一二元運算* 的集合S（稱之為原群），則S內的一元素e被稱為左單位元若對所有在S內的a而言，e * a .
空集
集是不含任何元素的集合，數學符號為\empty、\varnothing或\。.
类 (数学)
在集合論及其數學應用中，類是由集合（或其他數學物件）的搜集（collection），可以依所有成員所共享的性質被無歧定義。有些類是集合（例如由所有偶數構成的類），但有些則不是（如所有序數所構成的類或所有集合所構成的類）。一個不是集合的類被稱之為真類。一个是集合的类被称为“小类”。 在數學裡，有許多物件對集合而言太大，而必須以類來描述，像是大的範疇和超實數的類體之類等。要證明一給定「事物」為一真類，一般的做法是證明此一「事物」至少有著如序數一般多的元素。有關此一證明的例子，請參見。 真類不能是一個集合或者是一個類的元素，而且不受ZF集合論中的公理所限制；因此避免掉了許多樸素集合論中的悖論。反而，這些悖論成了證明某一個類是否為真類的方法之一。例如，羅素悖論可以證明由所有不包含集合自身的集合所構成的類是一個真類，而布拉利-福尔蒂悖论則可證明所有序數所構成的類是一個真類。 標準的ZF集合論公理不會論及到類；而在元語言中，類只作為邏輯公式的等價類而存在。馮諾伊曼-博內斯-哥德爾集合論則採取了另一種方式；類在此一理論中是基礎的物件，而集合則被定義為可以是其他某些類的元素的類。真類，則為不可以是其他任何類的元素的類。 在其他集合論如新基础集合论或半集合的理論中，「真類」的概念依然是有意義的（不是任一堆事物都會是集合），但對集合特質的認定並非依據其大小。例如，所有包含全集的集合論都會有個是集合的子類的真類。 「類」這一詞有時會和「集合」同義，最為人知的是「等價類」這一術語。這種用法是因為從前對類和集合不如現今一樣地區別的緣故。許多19世紀之前對「類」的討論提及的實際上是集合，又或者會是個更為模糊的概念。.
素数
質--數（Prime number），又称素--数，指在大於1的自然数中，除了1和該数自身外，無法被其他自然数整除的数（也可定義為只有1與該數本身两个正因数的数）。大於1的自然數若不是質數，則稱之為合數。例如，5是個質數，因為其正因數只有1與5。而6則是個合數，因為除了1與6外，2與3也是其正因數。算術基本定理確立了質數於數論裡的核心地位：任何大於1的整數均可被表示成一串唯一質數之乘積。為了確保該定理的唯一性，1被定義為不是質數，因為在因式分解中可以有任意多個1（如3、1×3、1×1×3等都是3的有效因數分解）。 古希臘數學家歐幾里得於公元前300年前後證明有無限多個質數存在（欧几里得定理）。現時人們已發現多種驗證質數的方法。其中試除法比較簡單，但需時較長：設被測試的自然數為n，使用此方法者需逐一測試2與\sqrt之間的整數，確保它們無一能整除n。對於較大或一些具特別形式（如梅森數）的自然數，人們通常使用較有效率的演算法測試其是否為質數（例如277232917-1是直至2017年底為止已知最大的梅森質數）。雖然人們仍未發現可以完全區別質數與合數的公式，但已建構了質數的分佈模式（亦即質數在大數時的統計模式）。19世紀晚期得到證明的質數定理指出：一個任意自然數n為質數的機率反比於其數位（或n的對數）。 許多有關質數的問題依然未解，如哥德巴赫猜想（每個大於2的偶數可表示成兩個素數之和）及孿生質數猜想（存在無窮多對相差2的質數）。這些問題促進了數論各個分支的發展，主要在於數字的解析或代數方面。質數被用於資訊科技裡的幾個程序中，如公鑰加密利用了難以將大數分解成其質因數之類的性質。質數亦在其他數學領域裡形成了各種廣義化的質數概念，主要出現在代數裡，如質元素及質理想。.
结合律
在數學中，結合律(associative laws)是二元運算可以有的一個性質，意指在一個包含有二個以上的可結合運算子的表示式，只要運算元的位置沒有改變，其運算的順序就不會對運算出來的值有影響。亦即，重新排列表示式中的括號並不會改變其值。例如： 上式中的括號雖然重新排列了，但表示式的值依然不變。當這在任何實數的加法上都成立時，我們說「實數的加法是一個可結合的運算」。 結合律不應該和交換律相混淆。交換律會改變表示式中運算元的位置，而結合律則不會。例如： 是一個結合律的例子，因為其中的括號改變了（且因此運算子在運算中的順序也改變了），而運算元5、2、1則在原來的位置中。再來， 則不是一個結合律的例子，因為運算元2和5的位置互換了。 可結合的運算在數學中是很常見的，且事實上，大多數的代數結構確實會需要它們的二元運算是可結合的。不過，也有許多重要且有趣的運算是不可結合的；其中一個簡單的例子為向量積。.
补集
在集合论和数学的其他分支中，存在--的两种定义：--和--。.
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
集合 (数学)
集合（Set，或簡稱集）是基本的数学概念，它是集合论的研究对象，指具有某种特定性质的事物的总体，（在最原始的集合論─樸素集合論─中的定義，集合就是“一堆東西”。）集合裡的事物（“东西”），叫作元素。若然 x 是集合 A 的元素，記作 x ∈ A。 集合是现代数学中一个重要的基本概念，而集合论的基本理论是在十九世纪末被创立的。这里对被数学家们称为“直观的”或“朴素的”集合论进行一个简短而基本的介绍，另外可參见朴素集合论；關於对集合作公理化的理論，可见公理化集合论。.
新！!: 并集和集合 (数学) · 查看更多 »
集合论
集合論（Set theory）或稱集論，是研究集合（由一堆構成的整體）的數學理論，包含集合和元素（或稱為成員）、關係等最基本數學概念。在大多數現代數學的公式化中，都是在集合論的語言下談論各種。集合論、命題邏輯與謂詞邏輯共同構成了數學的公理化基礎，以未定義的「集合」與「集合成員」等術語來形式化地建構數學物件。 現代集合論的研究是在1870年代由俄国数学家康托爾及德國数学家理察·戴德金的樸素集合論開始。在樸素集合論中，集合是當做一堆物件構成的整體之類的自證概念，沒有有關集合的形式化定義。在發現樸素集合論會產生一些後，二十世紀初期提出了許多公理化集合論，其中最著名的是包括選擇公理的策梅洛-弗蘭克爾集合論，簡稱ZFC。公理化集合論不直接定義集合和集合成員，而是先規範可以描述其性質的一些公理。 集合論常被視為數學基礎之一，特別是 ZFC 集合論。除了其基礎的作用外，集合論也是數學理論中的一部份，當代的集合論研究有許多離散的主題，從實數線的結構到大基数的一致性等。.
求和
#重定向 求和符号.
朴素集合论
在纯数学中，朴素集合论是是探討数学基础時，用到的幾個集合論中的一個，朴素集合论主要是將用一般語言的形式處理集合問題，依赖於把集合作为叫做这个集合的“元素”或 “成员”的搜集（collection），未有形式化的理解。和用公理定義而產生的公理化集合论不同。 而公理化集合论只使用明确定义的公理列表，還有從中证明的关于集合和成员关系的種種事实，公理起源自对对象的搜集和它们的成员的理解，但为了各种目的而被謹慎地构建，例如是避免已知的各種悖论，例如理发师悖论－一個理髮師他只為（而且一定要為）城裡所有不為自己刮鬍子的人刮鬍子，那理髮師該為自己刮鬍子嗎？ 集合在数学中是极其重要的；事實上，採用现代的形式化定義，多種数学对象（数、关系、函数等等）都可以用集合来構建。.
指标集
在数学中，集合 A 的元素有時可以凭借某個集合 J 来索引（index）或标定（label），這時便稱集合 J 為索引集。索引由从 J 到 A 的一个满射函数构成，而被索引的搜集稱為索引族、標記族或加標族，通常写为(Aj)j∈J。.
或
#重定向 逻辑或.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数学分析
数学分析（mathematical analysis）区别于其他非数学类学生的高等数学内容，是分析学中最古老、最基本的分支，一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容，并包括它们的理论基础（实数、函数、測度和极限的基本理论）的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。出自《数学辞海（第一卷）》 数学分析研究的內容包括實數、複數、實函數及複變函數。数学分析是由微積分演進而來，在微积分发展至现代阶段中，从应用中的方法总结升华为一类综合性分析方法，且初等微積分中也包括許多數學分析的基礎概念及技巧，可以认为这些应用方法是高等微积分生成的前提。数学分析的方式和其幾何有關，不過只要任一數學空間有定義鄰域（拓扑空间）或是有針對兩物件距離的定義（度量空间），就可以用数学分析的方式進行分析。.
0
0（〇／零）是-1与1之间的整数。0既不是正数也不是负数。0是偶数。在数论中，0不属于自然数；在集合论和计算机科学中，0属于自然数。0在整数、实数和其他的代数結構中都有著單位元這個很重要的性質。.
