The Free On-line Dictionary of Computing (19 January 2023):

ZF expression

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

   (1995-03-27)