w metodologii: proces grupowania, porządkowania i podziału przedmiotów według ustalonych typów.

system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów.

działanie lub zespół działań (zwłaszcza przekształceń) dokonywanych zgodnie z odpowiednimi regułami logicznymi na pewnych wyrażeniach w celu realizacji określonego zadania.