M = { x ∈ N | x < 1]