Это хотя бы говорит о том, что это свойство функции + реально очень старая терминология, которую многие знают.

В случае с top-level function, полагаю, у 95% первая ассоциация будет с местом определения функции или scope. Т.к. догадаться, что top-level, это свойство функций и их обработки языком программирования почти нереально.

В случае с функциями первого класса из самого определения можно догадаться, что это делает функции "привилегированными" в каком-то смысле. В данном случае это означает, что можно присваивать функции переменным и передавать как значения.