List Comprehension

List comprehension, an adaptation of mathematical set notation to represent infinite lists in computer science

另

A list comprehension is a shorthand style of constructing lists from other lists.

-- https://wiki.tcl-lang.org/page/List+Comprehension