阿列夫与无穷：一些阿列夫数可以大于另一些阿列夫数，但是无限只是无限
拓扑学(topology)是研究几何图形或空间在连续改变形状后还能保持不变的一些性质的学科。它只考虑物体间的位置关系而不考虑它们的形状和大小。
完备性：若一个对象具有完备性，那他将不需要添加任何其他元素
有界集合：有序集A是另一个有序集合B的真子集，a属于B，A中任一元素都小于等于a，则A有上界。
如果supE在B中，则B具有最小上界性。
具有最小上界性的有序域R（具有完备性的集合)存在(闭集。
域：满足加法公理和乘法公理的集合
区间：通常是指这样的一类实数集合：如果x和y是两个在集合里的数，那么，任何x和y之间的数也属于该集合
（）如果有界，也没有确界，类比集合
有界为收敛的必要条件