Definitsioon (ld definitio) on verbaalloogiline operatsioon mille abil avatakse mõiste sisu. Definiendum (ehk defineeritav, tähistatakse Dfd) on mõiste, mida defineeritakse (määratletakse, piiritletakse). Definiens (ehk defineeriv, tähistatakse Dfn) on mõiste(d) või väljendid, mille abil defineeritava mõiste sisu avatakse. Kui definitsioonis on Dfd ja Dfn selgesti eristatavad ja vastastikku asendatavad, siis on tegemist ilmse definitsiooniga; teistel juhtudel on tegemist mitteilmse definitsiooniga. Levinuim ilmse definitsiooni liik on reaaldefinitsioon ehk klassikaline definitsioon, nt: Rööpkülik on nelinurk, mille vastasküljed on paralleelsed. Ristkülik on rööpkülik, mille nurgad on täisnurgad. Ruut on ristkülik, mille küljed on võrdsed. Sellist tüüpi määratlust nimetatakse ka defineerimiseks soomõiste ja liigierisuse kaudu. KLASSIKALINE DEFINEERIMINE 1. Tuleb leida lähim mõiste, mille suhtes määratletav mõiste (Dfd) on alluv
termini mahtu kuuluvate objektide fikseerimine (ekstensionaalne definitsioon). Definiendum (ehk defineeritav, tähistatakse Dfd) on termin, mida defineeritakse. Definiens (ehk defineeriv, tähistatakse Dfn) on termin(id) või väljendid, mille abil defineeritava termini intensioon avatakse. Kui definitsioonis ehk määratluses on Dfd ja Dfn selgesti eristatavad ja vastastikku asendatavad (neil on sama sisu ja maht), siis on tegemist ilmse definitsiooniga; teistel juhtudel on tegemist mitteilmse definitsiooniga. Definitsioone kasutatakse väga erinevates kontekstides ning nende esitamise eesmärk ja esitusviis võib olla vägagi erinev. Tavapraktikas võib eristada mitmeid defineerimise tüüpe (need ei välista üksteist): 1) sätestavad ehk kokkuleppelised (stipulative 'sätestav'); 2) leksikaalsed ehk sõnavaralised (lexical); 3) täpsustavad (precising); 4) teoreetilised ehk teaduslikud (theoretical); 5) operatsionaalsed (operational); 6) rekursiivsed (recursive);
termini mahtu kuuluvate objektide fikseerimine (ekstensionaalne definitsioon). Definiendum (ehk defineeritav, tähistatakse Dfd) on termin, mida defineeritakse. Definiens (ehk defineeriv, tähistatakse Dfn) on termin(id) või väljendid, mille abil defineeritava termini intensioon avatakse. Kui definitsioonis ehk määratluses on Dfd ja Dfn selgesti eristatavad ja vastastikku asendatavad (neil on sama sisu ja maht), siis on tegemist ilmse definitsiooniga; teistel juhtudel on tegemist mitteilmse definitsiooniga. Definitsioone kasutatakse väga erinevates kontekstides ning nende esitamise eesmärk ja esitusviis võib olla vägagi erinev. Tavapraktikas võib eristada mitmeid defineerimise tüüpe (need ei välista üksteist): 1) sätestavad ehk kokkuleppelised (stipulative 'sätestav'); 2) leksikaalsed ehk sõnavaralised (lexical); 3) täpsustavad (precising); 4) teoreetilised ehk teaduslikud (theoretical); 5) operatsionaalsed (operational);