definicje

Jeżeli język, w którym sformułowana jest określona definicja, jest metajęzykiem języka, dla którego sformułowana jest ta definicja, to stanowi ona

definicję metajęzykową.

Jeżeli język, w którym sformułowana jest określona definicja, jest tym samym językiem, dla którego jest ona sformułowana, to stanowi ona

definicję przedmiotową.

Definiendum

jest to zwrot zawierający wyrażenie definiowane (będące jedną z trzech części budujących definicję równościową).

Definiens

jest to zwrot definiujący, tworzący drugą część definicji równościowej.

Spójka definicyjna

jest to zwrot łączący definiendum z definiensem, tworzący trzecią część definicji równościowej.

Definicja wyraźna

to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.

Definicja kontekstowa

to taka definicja równościowa, której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.

Definicją projektującą

danego wyrażenia dla określonego, budowanego właśnie języka jest taka definicja, która informuje o znaczeniu jakie definiowane wyrażenie będzie mieć w tym języku. Definicje projektujące nazywa się też definicjami syntetycznymi.

ekspilacja

szczególna odmiana definicji projektujących

eksplikandum

nazywamy wyrażenie podane eksplikacji.