Хм, я не уверен, но, кажется, это определение понятия, а не пословица. Хотя я могу ошибаться.
Мне нужно больше информации, чтобы сделать окончательный вывод. Но если исходить из того, что мне известно, то это действительно определение термина «идиома», а не народная мудрость или устойчивое выражение, которое можно назвать пословицей.