N {\displaystyle \mathbb {N} } represents the input set, which in this example is the set of natural numbers x 2 > 3 {\displaystyle x^{2}>3} is a predicate expression acting as a filter on members of the input set.