SUMMARY
The different models of comparison identification are considered which use predicates of equivalence and difunctionaliance. The theorems of isomorphism of offered models are proved.