Subestrutura
Em lógica matemática, uma
subestrutura é uma estrutura cujo domínio é um subconjunto de uma estrutura maior, e cujas funções e relações são têm origem das funções e relações da estrutura maior. Mudando o ponto de vista, a estrutura maior é chamada de uma
extensão ou uma
superestrutura de uma subestrutura. Na Teoria dos modelos, o termo
"submodelo" é freqüentemente usado como sinônimo de subestrutura, especialmente quando o contexto sugere uma teoria em que ambas as estruturas são modelos. Na presença de relações pode fazer sentido abrandar as condições em uma subálgebra de modo que as relações em uma
subestrutura fraca são, no máximo, aquelas induzidas a partir da estrutura maior. Subgrafos são um exemplo onde a distinção importa, e o termo "subgrafo", de fato, refere-se a subestruturas fracas. Conjuntos ordenados, por outro lado, têm a propriedade especial de que cada subestrutura de um conjunto ordenado que é também é um conjunto ordenado, é uma subestrutura induzida.