symbolizácia
- jednojednoznačné priradenie symbolov k jednotlivým výrazom (napríklad v matematickej logike).