Abrir menu principal

Alterações

4 bytes adicionados ,  22h51min de 27 de junho de 2012
sem resumo de edição
Dadas duas estruturas A e B, como sabemos se:
 
* A é subestrutura de B?
* B é subestrutura de A?
 
B é subestrutura de A?
 
I) Mesma assinatura → Relações binárias, ternárias; funções...
 
II) Mesma natureza de domínio → A ⊆ B
 
III) “Tudo” é preservado
 
 
== Exemplo ==
 
 
Na linguagem que consiste das funções binárias + e ×, relações binárias <, e constantes 0 e 1, a estrutura (Q, +, ×, <, 0, 1) é uma subestrutura de (R, +, ×, <, 0, 1). Mais genericamente, as subestruturas de um corpo ordenado são precisamente seus subcampos. Da mesma forma, na linguagem (x, -1, 1) de grupos, as subestruturas de um grupo são seus subgrupos.