1、打开MathType公式编辑器,在菜单栏中,选择“编辑”——“插入符号”命令。
2、在“查看”的下拉菜单中选择“描述”,拉动滚动条,找到补集符号,点击即可插入。
3、回到MathType编辑界面中,在MathType工具栏模板中点击选择“上标下标模板”——“下标”。然后在下标的输入框中输入大写的u即可。
根据定义,空集有 0 个元素,或者称其势为 0。然而,这两者的关系可能更进一步:在标准的自然数的集合论定义中,0 被定义为空集。实数0与空集是两个不同的概念,不能把0或{0}与Ø混为一谈。
若A为集合,则恰好存在从{ }到A的函数f,即空函数。结果,空集是集合和函数的范畴的唯一初始对象。
空集只能通过一种方式转变为拓扑空间,即通过定义空集为开集;这个空拓扑空间是有连续映射的拓扑空间的范畴的唯一初始对象。
空集是任何非空集合的真子集。Ø只有一个子集,没有真子集。{Ø}有两个子集,一个是Ø一个是它本身