kˈaða estˈaðo kˌomputˌaθjonˈal pwˈeðe sˈer ðeskɾˈito foɾmˈalmˈente ˌutiliθˈando ˈuna ˌestɾuktˈuɾa ðe pɾimˈeɾ ˈoɾðen i kˈaða ˌalɣoɾˈitmo ˈes ˌindependjˈɛnte ðe su ˌimplemˌentaθjˈon los ˌalɣoɾˈitmos sˈon oβxˈetos aβstɾˈaktos, de manˈeɾa ke en ˈun ˌalɣoɾˈitmo las ˌestɾuktˈuɾas ðe pɾimˈeɾ ˈoɾðen sˈon ˌimbaɾjˈantes βˌaxo ˌisomoɾfˈismo.
Cada estado computacional puede ser descrito formalmente utilizando una estructura de primer orden y cada algoritmo es independiente de su implementación (los algoritmos son objetos abstractos), de manera que en un algoritmo las estructuras de primer orden son invariantes bajo isomorfismo.