really? it's not that different from the notation i am used to.

  {f ∈ [1..N ⟶ 1..N]| ∀ y ∈ 1..N: ∃ x ∈ 1..N: f(x)=y}

would be the notation i am used to. I believe it's called set comprehension in english.