Было бы логично если бы в словаре определений были либо предметные области, либо каждый участник мог добавлять определения, которые будут подсвечиваться пунктирчиком только в его статьях.
Не всякое определение универсально. Причём не столько по значению (несколько значений никто не мешает записать), сколько по надобности.
Например, если добавить определение Граф (теория графов), то будут излишне испаганены все слова с корнем "граф" – графический, графемы, графин :) А потом еще добавить вершину и ребро :) Эдак если усердствовать с определениями, любая статья превратиться в сплошь подчёркнутый текст.
Определения с ограниченным применением позволят использовать элегантный метод показа определения в маленьком окошке по щелчку на слове в более широком диапазоне случаев, например вместо прямого упоминания в тексте статьи, что сэкономит внимание человека, который уже и так знает о чём речь и не станет щелкать по термину, но в то же время позволит не сувать это туда, где это не надо.
Я так понимаю, что словарь – для сайта в целом, и термины должны быть у всех одинаковые. Но в то же время каждый может редактировать свою аксиоматику и публиковать статьи с помощью автопубликатора, и вот вопрос – почему бы там не использовать подчёркивание своих терминов?