Понятия называются определяющими, если с их помощью определяемое раскрывает свое содержание. Законом связи двух элементов определения, законом структуры операции определения служит требование логики о его соразмерности, что записывается в виде равенства dfd = dfn.