(z lat. definitio, vymedzenie): Operácia, ktorá vymedzuje obsah pojmu. Vo formálnej logike je zvykom vytvárať ju pomocou najbližšieho nadradeného rodu a druhového rozdielu. Napríklad: človek je živočích (rod, ktorý zahrňuje príslušný druh) rozumný (rozdiel medzi príslušným druhom a ostatnými druhmi).

„Každá definícia je negáciou“ a to potiaľ, že vymedzuje čím pojem nemôže byť, keď poučuje podstatu označovanej veci.

V matematike sa nazýva genetickou tá definícia, ktorá vyjadruje vznik nejakého matematického objektu (napr. kruh je útvar vytváraný v rovine rotáciou úsečky – polomeru– okolo pevného bodu).