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 be

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.