列表推导式（list comprehension），是程序设计语言的一类语法结构，用于基于描述创建一个列表（list）数据结构。相当于数学上的集合建构式符号。但不同于map与filter函数。“list comprehension”没有统一的中文译法。有译作列表解析式、列表生成式、列表构建、列表理解等。
概述.考虑下述集合建构式符号：可读作"formula_2是所有"2乘formula_3"的数的集合，满足formula_3是自然数(formula_5)且formula_3