Mathematical abstraction