An expression in a functional language denoting the results of some operation on (selected) elements of one or more lists. A list comprehension is simply "syntactic sugar" for a combination of applications of the functions, concat, map and filter.