Study of structure of mathematical abstractions