Added the Definitions of QuasiEquivalence