> as lemmas
non-equivalence
non-equivalence n. 
/ˌnɒnᵻˈkwɪvəln̩s/, /ˌnɑniˈkwɪv(ə)ləns/
Brit. /ˌnɒnᵻˈkwɪvələns/
, /ˌnɒnᵻˈkwɪvələns//ˌnɒnᵻˈkwɪvəln̩s/U.S. /ˌnɑnəˈkwɪv(ə)ləns/
, /ˌnɑnəˈkwɪv(ə)ləns//ˌnɑniˈkwɪv(ə)ləns/ΚΠ
1878 Mind 3 224 Physical equivalence or non-equivalence of the systems of topogenous moments.
1894 J. N. Keynes Stud. & Exerc. Formal Logic (ed. 3) ii. iii. 111 To establish their non-equivalence we may proceed as follows.
1955 A. N. Prior Formal Logic 212 The connected non-equivalence of ΠxMϕx and MΠxϕx.
1995 M. Garber Vice Versa iii. xvi. 371 In the nonequivalence of patrimony and matrimony we encounter..a crux of some significance for ideas of gender, desire and partnership, social freedom and economic control.
<
as lemmas