Определение

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

Во всяком определении выделяются определяемое (что определяют) и определяющее (через что определяют) понятия. Через определяющее раскрывается содержание определяемого понятия.

Например, прямоугольник можно определить так: «Прямоугольником называется четырехугольник, у которого все углы прямые». В этом определении есть две части – определяемое понятие (прямоугольник) и определяющее понятие (четырехугольник). Если обозначить через а первое понятие, а через b – второе, то данное определение можно представить в таком виде: а есть (по определению) b. Слово «есть (по определению)» заменяют  символом  .  Тогда определение будет  выглядеть  так   а b.     Читают: «а равносильно b по определению».   Определения, имеющие такую структуру, называются явными.