Let be the class of computably enumerable sets. Prove the following:

a) is closed under union and intersection

b) contains all the finite sets and cofinite sets of natural numbers.

c) If and is a total computable function then . and .