Are examined two models of comparator identification, models of equivalence and models of difunctionality. It is proven that the identified operator can possess the property of the internal nonlinearity of one-to-one nature. It is shown that the expansion of models in the case of operators from two arguments, leads to the absence of isomorphism.
predicate, equivalence model, model difunсtionality, comparator identification, isomorphism of models
"Yzomorfyzm modelei эkvyvalentnosty y dyfunktsyonalnosty pry komparatornoi ydentyfykatsyy" ,
Scientific Works of Kharkiv National Air Force University,