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.