Abstraction_in_mathematics