concept in mathematics
Identity type