set-builder notation

visit shbcf.ru