所有正偶数组成的集合可表为
E = { x | x 是正整数且能被 2 整除}
= {x | x = 2n 且 n 为正整数}.