Given the universe n={0,1,2,3,…}, construct the predicate P(x) representing "x is an even number."
a) P(x)=xmod2=0
b) P(x)=xmod2=1
c) P(x)=xmod2=2
d) P(x)=xmod2=0