A function can be equal with various criterias. Criteria Function Extensional Equality Function Intensional Equality Function Reference Equality