Zf expression

(After Zermelo Fränkel set theory). David Turner's name for list comprehension.