Intensional equality

Redirect to:

• Extensional and intensional definitions#Intensional definition