b'\n_START_ARTICLE_\nSubestrutura\n_START_SECTION_\nDefini\xc3\xa7\xc3\xa3o\n_START_PARAGRAPH_\nSejam A e B duas estruturas de "MESMA ASSINATURA L". Uma fun\xc3\xa7\xc3\xa3o entre os dom\xc3\xadnios de A e B, isto \xc3\xa9, h\xc2\xa0: dom(A) \xe2\x86\x92 dom(B) , \xe2\x80\x9cpreserva os pap\xc3\xa9is\xe2\x80\x9d se:_NEWLINE_1. Para todo s\xc3\xadmbolo de constante c de L:_NEWLINE__NEWLINE_ * h(c\xe1\xb4\xac) = c\xe1\xb4\xae_NEWLINE_2. Para todo s\xc3\xadmbolo de rela\xc3\xa7\xc3\xa3o n-\xc3\xa1ria (n > 0) R de L:_NEWLINE__NEWLINE_  * se (x\xe2\x82\x81, x\xe2\x82\x82,..., x\xe2\x82\x99) \xe2\x88\x88 R\xe1\xb4\xac ent\xc3\xa3o (h(x\xe2\x82\x81), h(x\xe2\x82\x82),..., h(x\xe2\x82\x99)) \xe2\x88\x88 R\xe1\xb4\xae_NEWLINE_3. Para todo s\xc3\xadmbolo de fun\xc3\xa7\xc3\xa3o n-\xc3\xa1ria (n > 0) m de L:_NEWLINE__NEWLINE_   * h(m\xe1\xb4\xac(x\xe2\x82\x81,x\xe2\x82\x82,...,x\xe2\x82\x99)) = m\xe1\xb4\xae(h(x\xe2\x82\x81),h(x\xe2\x82\x82),...,h(x\xe2\x82\x99))_NEWLINE_As defini\xc3\xa7\xc3\xb5es acima definem um "Homomorfismo". Para que haja um "Homomorfismo imersor", a fun\xc3\xa7\xc3\xa3o h deve ser "Injetiva" e no lugar de "se" temos "sse"(se somente se). J\xc3\xa1 para o caso de "Isomorfismo", al\xc3\xa9m de ser "imersor", a fun\xc3\xa7\xc3\xa3o deve ser "Bijetiva" ("Imers\xc3\xa3o sobrejetora")._NEWLINE_Sejam A e B duas estruturas, dizemos que A \xe2\x8a\x86 B sse a fun\xc3\xa7\xc3\xa3o identidade de A para B \xc3\xa9 um "HOMOMORFISMO IMERSOR" de A para B e dom(A) \xe2\x8a\x86 dom(B). Nesse caso dizemos que A \xc3\xa9 "SUBESTRUTURA" de B ou que B \xc3\xa9 "EXTENS\xc3\x83O" de A.\n_START_SECTION_\nExemplo\n_START_PARAGRAPH_\nNa linguagem que consiste das fun\xc3\xa7\xc3\xb5es bin\xc3\xa1rias + e \xc3\x97, rela\xc3\xa7\xc3\xb5es bin\xc3\xa1rias <, e constantes 0 e 1, a estrutura (Q, +, \xc3\x97, <, 0, 1) \xc3\xa9 uma subestrutura de (R, +, \xc3\x97, <, 0, 1). Mais genericamente, as subestruturas de um corpo ordenado s\xc3\xa3o precisamente seus subcorpos. Da mesma forma, na linguagem (x, -1, 1) de grupos, as subestruturas de um grupo s\xc3\xa3o seus subgrupos. No caso de grafos (na assinatura consistindo de uma rela\xc3\xa7\xc3\xa3o bin\xc3\xa1ria), as subestruturas induzida de um grafo s\xc3\xa3o precisamente os seus subgrafos induzidos, e suas subestruturas fracas s\xc3\xa3o precisamente seus subgrafos.\n_START_SECTION_\nSubestruturas como subobjetos\n_START_PARAGRAPH_\nPara cada assinatura s, subestruturas induzidas de s-estruturas s\xc3\xa3o os subobjetos na categoria concreta de s-estruturas e homomorfismos forte (e tamb\xc3\xa9m na categoria concreta de s-estruturas e s-imers\xc3\xb5es). Subestruturas fracas de s-estruturas s\xc3\xa3o os subobjetos na categoria concreta de s-estruturas e homomorfismos no sentido comum.\n_START_SECTION_\nSubmodelo\n_START_PARAGRAPH_\nEm Teoria dos modelos, dada uma estrutura M, que \xc3\xa9 um modelo de uma teoria T, um submodelo de M em um sentido mais estrito \xc3\xa9 uma subestrutura de M que \xc3\xa9 tamb\xc3\xa9m um modelo de T. Por exemplo, se T \xc3\xa9 a teoria de grupos abelianos na assinatura (+, 0), ent\xc3\xa3o o submodelos do grupo dos inteiros (Z, +, 0) s\xc3\xa3o as subestruturas que tamb\xc3\xa9m s\xc3\xa3o os grupos. Assim, os n\xc3\xbameros naturais (N, +, 0) forma uma subestrutura de (Z, +, 0) que n\xc3\xa3o \xc3\xa9 um submodelo, enquanto os n\xc3\xbameros pares (2Z, +, 0) formam um submodelo que \xc3\xa9 (um grupo, mas) n\xc3\xa3o um subgrupo.'