The Free On-line Dictionary of Computing (30 December 2018):

ZF expression

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

   (1995-03-27)