Перестановка ли

Дан массив из $n$ чисел. Является ли он перестановкой чисел от $1$ до $n$, то есть встречается ли каждое из $1, 2, \ldots, n$ ровно один раз (в любом порядке)?

В первой строке $n$ ($1 \le n \le 10^5$). Во второй — $n$ целых чисел ($|a_i| \le 10^9$).

YES — перестановка, NO — нет.

Два условия: каждое число лежит в $1 \le a_i \le n$ и не повторяется. Хватит множества или массива «видели» длины $n + 1$. Во втором примере $2$ повторяется, а $3$ нет — NO.