3.3 Closure Properties and Homomorphism