Even Number

see math notation, boolean algebra, number

definition

EE n == ZZ k /\ n = 2k : 0

properties

EE = +OO, see odd number

EE = n. (0 + yy n 2), see psi function

EE < ZZ