язык и вообще любую знаковую систему можно описать как упорядоченную пару , где A - некое непустое множество, а  W  - множество операций на данном множестве, а это есть ни что иное как общее определение алгебры.

само называние вещей и рубрикация мира уже есть операция отображение множества в множестве:
каждому элементу из множества вещей T ( Read more... )