definition

1) логическая операция установления смысла термина; 2) текст, точно описывающий смысл термина или понятия (предполагается, что определение позволяет для любой сущности установить, соответствует она этому определению или нет); 3) введение нового понятия или объекта в математическое рассуждение путем комбинации или уточнения элементарных либо ранее определенных понятий.