Логическая операция определения понятия состоит из двух элементов: определяемого понятия, называемого «дефиниендум» и записываемого dfd, и определяющих понятий, называемых «дефиниенс» и записываемых dfn.