Eine formale Wissenschaft, die solche strukturellen Gesetzmäßigkeiten untersucht, ist die abstrakte Algebra (meist Teilgebiet der Mathematik, aber auch der Informatik).
ˌaɪnə fˈɔɾmɑːlə vˈɪsənʃˌaft, diː zˈɔlçə ʃtɾˌʊktuːrˈɛlən ɡəzˈɛtsmɛːsˌɪçkaɪtən ˌʊntɜzˈuːxt, ɪst diː apstɾˈaktə alɡˈɛbɾɑː mˈaɪst tˈaɪlɡeːbˌiːt dɛɾ mˌateːmˈɑtiːk, ˌɑːbɜ ˌaʊx dɛɾ ˌɪnfɔɾmˈɑtiːk.