a = [ expr for x1 in s1 for x2 in s2 ... for xn in sn if fexpr ]
a = [ ] for x1 in s1: for x2 in s2: ... for xn in sn: if fexpr: a.append(expr)