集合划分的定义是什么

【集合划分的定义是什么】集合的划分是的非空子集的集合 , 使得所有的元素都精确在这些子集的其中一个内 。等价的说 , 的子集的集合是的划分 , 如果没有的元素是空集 。(-某些定义不需要这个要求)的元素的并集等于 。(我们称的元素)的任何两个元素的交集为空 。(我们称的元素是两两不相交 。)的元素有时叫做划分的 。
当我们说“集合”这个概念时 , 划分的思想已经存在了 。当我们说给定一个集合时 , 也就给定了该集合的补集 。一个集合与它的补集就已经构成了一个划分 。因此说上面的定义是再次划分的定义 。可以说划分和定义是一个概念 。原始定义也就是初始划分 。原始定义和公理又是一个概念 。给定一个公理也就是给定一个划分 。

    推荐阅读