Объясните, что это за удаление повторяющихся строк, сохранение порядка, однострочная команда AWK

Я узнал действительно удобный способ удаления повторяющихся строк с сохранением порядка изУдаление дубликатов без сортировки файла - BASH.

Скажем, если у вас есть следующий файл,

$cat file
a
a
b
b
a
c

вы можете использовать следующее для удаления повторяющихся строк:

$awk '!x[$1]++' file
a
b
c

Как это работает с точки зрения приоритета операций?