[metadata] title = "Definable Sets" [publish] handout = true solutions = true