A = {x : x is multiple of and less than }
B = {x : x = p, 0 < P < , P ∈ N}
C = {x : x = p, 0 < P < , P ∈ N}
D = {x : x = 2, 0< P < , P ∈ W}