In mathematical logic, an (induced) substructure or (induced) subalgebra is a structure whose domain is a subset of that of a bigger structure, and whose...

up substructure in Wiktionary, the free dictionary. Substructure may refer to: Substructure (engineering) Substructure (mathematics) Substructure (marxist...

point). E. C. Milner, The use of elementary substructures in combinatorics (1993). Appearing in Discrete Mathematics, vol. 136, issues 1--3, 1994, pp.243--252...

that a substructure is a structure of the same type. Given a subset X of an algebraic structure S, the closure of X is the smallest substructure of S that...

that exist mathematically also exist physically. That is, in the sense that "in those [worlds] complex enough to contain self-aware substructures [they] will...

substructure of the real numbers, and the real numbers form a substructure of the complex numbers. The rational numbers are the smallest substructure...

incompleteness theorems Structure (mathematical logic) Interpretation (logic) Substructure (mathematics) Elementary substructure Skolem hull Non-standard model...

In computer science, a problem is said to have optimal substructure if an optimal solution can be constructed from optimal solutions of its subproblems...

including humans, are "self-aware substructures (SASs)". In any mathematical structure complex enough to contain such substructures, they "will subjectively perceive...

Extremal graph theory a branch of mathematics that studies how global properties of a graph influence local substructure. Contents:  Top A B C D E F G H...

The language of mathematics has a wide vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which...

Substructure search (SSS) is a method to retrieve from a database only those chemicals matching a pattern of atoms and bonds which a user specifies. It...

times. A structure (mathematical logic) of which another structure is a substructure. A key concept in Marxist philosophy, see base and superstructure. Megastructure...

substructuring (DS) is an engineering tool used to model and analyse the dynamics of mechanical systems by means of its components or substructures....

can even go one step further, and move beyond immediate substructures. Given a mathematical structure, there are very often associated structures which...

to many mathematical structures, in which case, the smallest substructure containing S {\displaystyle S} is generally called the substructure generated...

conceals vital information about it. Given a mathematical structure, it is common that two substructures belong to the same isomorphism class. However...

repeated substructure within a molecule, e.g. HC(CH3)3 (isobutane) or, similarly, to indicate the stoichiometry of ionic compounds with such substructures: e...

In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric, and transitive. The equipollence relation between line segments...

for any embedding.) This and other analogous injective functions from substructures are sometimes called natural injections. Given any morphism f {\displaystyle...

In mathematics and computer science, an algorithm (/ˈælɡərɪðəm/ ) is a finite sequence of mathematically rigorous instructions, typically used to solve...

Ramsey, is a branch of the mathematical field of combinatorics that focuses on the appearance of order in a substructure given a structure of a known...

stage's algorithmic path to the solution. Optimal substructure "A problem exhibits optimal substructure if an optimal solution to the problem contains optimal...

N such that |N| = κ and such that if κ < |M| then N is an elementary substructure of M; if κ ≥ |M| then N is an elementary extension of M. The theorem...

classical or intuitionistic flavour, almost any modal logic, and many substructural logics, such as relevance logic or linear logic. Indeed, it is unusual...

Bunched logic is a variety of substructural logic proposed by Peter O'Hearn and David Pym. Bunched logic provides primitives for reasoning about resource...

specifying a family of graph, or hypergraph, structures, by specifying substructures that are forbidden to exist within any graph in the family. Different...

amalgamation) is a method used to construct (infinite) mathematical structures from their (finite) substructures. It is a special example of the more general concept...

optimal solutions to the sub-problems, then it is said to have optimal substructure. If sub-problems can be nested recursively inside larger problems, so...

In set theory, a branch of mathematical logic, an inner model for a theory T is a substructure of a model M of a set theory that is both a model for T...