As I understand from the Wikipedia article, "set comprehension" is an expression like
{ x | x ∈ R, 0<x<1}
which is familiar to everyone who reads mathematical literature, but I have never seen an equvalent for naming such expressions in the Russian literature. On this forum 3 variants are proposed: "ZF-выражение" and two analogs of "list comprehension", which is "Конструктор списка" or "списковое включение", .
The first and second variants look too programming-related. The third variant looks more "mathematical", but it seems to be uncommon among mathematicians.
Is there a better translation? Should the translation differ between programming and mathematical contexts?