problem 2.5.8.a definable closure