set builder

[ریاضیات] سازنده ی مجموعه