3是一个全序集，没有上界和下界，其序列如下：一个整数大于零则为正，小于零则为负。零既非正也非负。整数的序列在代数运算下是可以比较的，表示如下：整数环是一个欧几里德域。
formula_3的基数.formula_3的基数（或势）是ℵ，与formula_9相同。这可以从formula_3建立一双射函数到formula_9来证明，亦即该函数要同时满足单射及满射的条件，例如：当该函数的定义域仅限于formula_3，则证明formula_3与formula_9可建立一一对