Sa karagdagan , ito ay malimit na nagyayari na ang iba 't ibang mga gayong may @-@ istrakturang mga hanay ay nagpapakita ng parehong mga katangian na gumagawang posible sa karagdagang hakbang ng abstraksiyon na magsaad ng mga aksioma para sa klase ng mga istraktura at tapos ay pag @-@ aral ng minsan ang buong klase ng mga istrakturang sumasapat sa mga aksiomang ito.
