How do you define a set without using set builder notation? For example, let's say that I want to define set S as:
S={x ∈ ℕ ∣ 0<x<5}
Then
S={1,2,3,4}
However, suppose that I wanted to define S without set-builder notation, as below?
∀x(x ∈ ℕ ^ 0<x<5 ⟺ x∈S )
Would these two...