Dlaczego bada się struktury, które spełniają powyższe/poniższe cztery własności, nie zaś inne; z jakiego powodu wybrano właśnie tę kombinację własności, a nie tylko ich część bądź jakąś dodatkową? Nie ma powodu, by wykluczać te, czy inne możliwości – w istocie rozpatruje się inne teorie i wiele ze wspomnianych kombinacji własności ma swoje nazwy (zob. Podobne struktury), jednakże są one dużo mniej ważne niż struktury spełniające wyróżnione cztery własności.
Teoria matematyczna, aby mogła być uznana za ważną, musi być dostatecznie ogólna, a zarazem mieć znaczenie informatywne. Teoria, której postulaty są w wielu przypadkach zbyt ograniczające, okaże się nieistotna w obszarach, w których nie sposób je zapewnić, co ostatecznie przełoży się na ograniczone nią zainteresowanie. Interesujące teorie są ogólne, jednakże ogólność ma cenę: treść. Umożliwiając spełnienie aksjomatów teorii w różnych obszarach i wielu kontekstach, należy zdawać sobie sprawę, że teoria dotyczyć będzie tylko tego, co jest w nich wspólne – może się wtedy okazać, że nie ma takich rzeczy. Istnieje więc niebezpieczeństwo, że teoria będzie się sprowadzać do listy nieciekawych parafraz postulatów pozbawionych głębi. Nakładanie ograniczeń zmniejsza zakres użycia i zainteresowanie teorią, a znoszenie ograniczeń prowadzi do pustej teorii.