mathematical abstractions