С каким множеством, снабженной определенной структурой (аксиоматика), мы имеем дело?

Примеры: Векторное пространство, моноид, группа и др.