#equivalence  essential equality and interchangeability
  exclusion:  #nonequivalence
  supertype:  #equality  the quality of being the same in quantity or measure or value or status
  subtype:  #parity  functional equality

No statement uses or specializes #equivalence; click here to add one.