Set-builder notation solutions