Это значит, что определяемое и определяющее понятия должны быть равны по объёму.
Возьмём для примера определение понятия «квадрат»: «квадрат есть равносторонний прямоугольник».
Это определение соразмерное, так как определяемое понятие «квадрат» и определяющее «квадрат есть равносторонний прямоугольник» являются тождественными понятиями, т. е. имеют один и тот же объём.
Но если бы мы, определяя понятие «квадрат», ограничились указанием одного родового признака «квадрат есть прямоугольник», то такое определение было бы слишком широким по объёму; кроме квадратов, есть и другие прямоугольники, поэтому понятия «квадрат» и «прямоугольник» не тождественны.
Слишком широкое определение получится и в том случае, если в качестве видового отличия приведено недостаточное количество признаков. Возьмём следующее определение: «Конденсатор есть прибор, служащий для накопления электрической энергии».
Хотя в этом определении указаны и род, и видовое отличие, но с помощью такого определения мы не отличим конденсатора от аккумулятора.
Необходимо в качестве видового отличия указать ещё на некоторые признаки, характерные только для конденсатора.
Итак, слишком широкое определение есть неточное, неправильное определение.
Неточным, неправильным является и слишком узкое определение.
Например, в определении «линза есть оптическое стекло, ограниченное двумя выпуклыми поверхностями» указаны род и видовое отличие, однако такое определение относится не ко всякой линзе, а только к разновидности линз – к лупе. Следовательно, объём определяющего понятия уже объёма определяемого. Правило соразмерности нарушено – определение линзы дано неверно.
Слишком узким будет и такое определение: «Астрономия есть наука о звёздах». В этом определении видовое отличие не исчерпывает предмета науки астрономии, так как астрономия есть наука не только о звёздах, но и о всех небесных телах.