mathematical abstraction