On definition of undertranslation and overtranslation in terms of non - equivalence
2.
Mining ordering rules based on ordered relations is a concrete example of application of generalizations of rough set model with non - equivalence relations
3.
Based on strict theoretical reduction , this paper studies the relationship between consumer credit and domestic demand and puts forward two theorems long - term consumption demand equivalence theorem and short - term domestic demand non - equivalence theorem