Mi ennek a neve a matematikában?

Nem tudok róla, hogy lenne neve.

"legyen N 3k+2 alakú szám"

Így szoktunk beszélni róla.

Nos, magyarul nem igazán sikerült megtalálni, érdemes lenne valami halmazelmélettel foglalkozó magyar matematikus felkeresni, ő esetleg kompetens lehet az ügyben. Mindenesetre angolul set-builder notation-nek nevezik:

[link]

Pfff. Én azt hittem hogy a

> A kérdésem, hogy ezt a "3k+2" leírási módot hogy nevezik

részben a "3k+2" a tárgy, és nem csak segít a leírási mód kifejezésében. Eszerint az "ezt", vagyis D lenne a tárgy?

"A kérdésem, hogy ezt a "3k+2" leírási módot hogy nevezik?"

Matematikai megfogalmazásnak nevezik.

Egy adott feltételnek ugyanis van szöveges megfogalmazása és matematikai megfogalmazása.