zapis heya: jak symbolicznie zapisać, że n należy do naturalnych i jest większe lub równe 3, ale jakoś inaczej niż n∊ℕ ∧ n≥3 ?

Jerzy: n ∊ N i n ∊ [3,∞)

heya: mój błąd bo nie sprecyzowałem o co mi dokładnie chodzi chodzi mi o taki zapis z dwukropkiem coś takiego n∊ℕ:n≥3 ale nie wiem jak jest poprawnie

Bleee: A = {n∊N ; n≥3} Oznacza że zbiór A jest zbiorem naturalnych liczb nie mniejszych od 3.