Определить объект - выбрать из его существенных свойств такие и столько, чтобы каждое из них было необходимым, а все вместе достаточными для отличия этого объекта от других. Результат этого действия фиксируется в определении. [14]

Определением считается такая формулировка, которая сводит новое понятие к уже известным понятиям этой же области. Такое сведение не может продолжаться бесконечно, поэтому наука имеет первичные понятия, которые определяются не явно, а косвенно (через аксиомы). Список первичных понятий неоднозначен, по сравнению с наукой, в школьном курсе первичных понятий намного больше. Основной приём для разъяснения, введения первичных понятий - составление родословных.

В школьном курсе не всегда целесообразно давать понятиям строгое определение. Иногда достаточно сформировать правильное представление. Это достигается с помощью поясняющих описаний - доступных для учащихся предложений, которые вызывают у них один наглядный образ, и помогают усвоить понятие. Здесь не ставится требование сведения нового понятия к ранее изученным. Усвоение должно быть доведено до такого уровня, чтобы в дальнейшем, не вспоминая описания, ученик мог узнать объект, относящийся к данному понятию.

По логической структуре определения делятся на конъюнктивные (существенные признаки соединяются союзом "и") и дизъюнктивные (существенные признаки соединяются союзом "или").

Выделение существенных признаков, зафиксированных в определении, и зафиксированных связей между ними называется логико-математическим анализом определения.

Существует подразделение определений на дескриптивные и конструктивные.

Дескриптивные - описательные или косвенные определения, имеющие, как правило, вид: «объект называется…, если он обладает…». Из таких определений не следует факт существования данного объекта, поэтому все подобные понятия требуют доказательства существования. Среди них выделяют следующие способы определений понятий:

· Через ближайший род и видовое отличие. (Ромбом называется параллелограмм, две смежные стороны которого равны. Родовым выступает понятие параллелограмма, из которого определяемое понятие выделяется посредством одного видового отличия).

· Определения-соглашения - определения, в которых свойства понятий выражаются с помощью равенств или неравенств.

· Аксиоматические определения. В самой науке математике используются часто, а в школьном курсе редко и для интуитивно ясных понятий. (Площадь фигуры - величина, численное значение которой удовлетворяет условиям: S(F)0; F₁=F₂S(F₁)=S(F₂); F=F₁F₂, F₁F₂= S(F)=S(F₁)+S(F₂); S(E)=1.)

· Определения через абстракцию. Прибегают к такому определению понятия, когда другое трудно или невозможно осуществить (например, натуральное число).

· Определение-отрицание - определение, в котором фиксируется не наличие свойства, а его отсутствие (например, параллельные прямые).

Конструктивные (или генетические) - это определения, в которых указывается способ получения нового объекта (например, сферой называется поверхность, полученная вращением полуокружности вокруг своего диаметра). Среди таких определений иногда выделяют рекурсивные - определения, указывающие некоторый базисный элемент какого-либо класса и правило, по которому можно получить новые объекты того же класса (например, определение прогрессии).