Şunu aradınız:: set builder notation (İngilizce - Portekizce)

set-builder notation makes use of predicates to define sets.
notação construtora de conjuntos faz uso de predicados para definir conjuntos.

=== example ==="for these examples, formal languages are specified using set-builder notation.
=== exemplo ==="para esses exemplos, as linguagens formais estão especificadas utilizando a notação de construção de conjuntos.

it follows the form of the mathematical "set-builder notation" ("set comprehension") as distinct from the use of map and filter functions.
ela segue a forma da notação de definição de conjunto matemática ("compreensão de conjunto") como forma distinta para uso de funções de mapa e filtro.

in set-builder notation,:formula_5the matrix equation is equivalent to a homogeneous system of linear equations::formula_6thus the kernel of "a" is the same as the solution set to the above homogeneous equations.
== examples ==*if "l": r"m" → r"n", then the kernel of "l" is the solution set to a homogeneous system of linear equations.