This paper presents a powerful notation for set comprehension in functional languages and a program transformation for its implementation．Introduction of the set notation not only increases the expressive power of functional programs，but also offers opportunity for improving their running efficiency．