1. У математиці та логіці: допоміжне твердження, яке доводиться окремо і використовується для підтвердження іншої, більш складної теореми.
2. У лінгвістиці: основна форма слова, що подається у словниковій статті як заголовок (наприклад, інфінітив для дієслова, називний відмінок однини для іменника).