In universal algebra, an (induced) substructure or (induced) subalgebra is a structure whose domain is a subset of that of a bigger structure, and whose functions and relations are the traces of the functions and relations of the bigger structure. Some examples of subalgebras are subgroups, submonoids, subrings, subfields, subalgebras of algebras over a field, or induced subgraphs. Shifting the point of view, the larger structure is called an extension or a superstructure of its substructure.
In the presence of relations (i.e. for structures such as ordered groups or graphs, whose signature is not functional) it may make sense to relax the conditions on a subalgebra so that the relations on a weak substructure (or weak subalgebra) are at most those induced from the bigger structure. Subgraphs are an example where the distinction matters, and the term "subgraph" does indeed refer to weak substructures. Ordered groups, on the other hand, have the special property that every substructure of an ordered group which is itself an ordered group, is an induced substructure.
In mathematical logic, especially in model theory, the term "submodel" is often used as a synonym for substructure, in the same way that the term "model" is used as a synonym for "structure". But often it has a slightly more restrictive meaning described below.
A is said to be an (induced) substructure of B, or an (induced) subalgebra of B, if A is a weak subalgebra of B and, moreover,
If A is a substructure of B, then B is called a superstructure of A or, especially if A is an induced substructure, an extension of A.
In the language consisting of the binary functions + and ×, binary relation <, and constants 0 and 1, the structure (Q, +, ×, <, 0, 1) is a substructure of (R, +, ×, <, 0, 1). More generally, the substructures of an ordered field (or just a field) are precisely its subfields. Similarly, in the language (×, -1, 1) of groups, the substructures of a group are its subgroups. In the language (×, 1) of monoids, however, the substructures of a group are its submonoids. They need need not be groups; and even if they are groups, they need not be subgroups.
In the case of graphs (in the signature consisting of one binary relation), the induced substructures of a graph are precisely its induced subgraphs, and its weak substructures are precisely its subgraphs.
For every signature σ, induced substructures of σ-structures are the subobjects in the concrete category of σ-structures and strong homomorphisms (and also in the concrete category of σ-structures and σ-embeddings). Weak substructures of σ-structures are the subobjects in the concrete category of σ-structures and homomorphisms in the ordinary sense.
In model theory, given a structure M which is a model of a theory T, a submodel of M in a narrower sense is a substructure of M which is also a model of T. For example if T is the theory of abelian groups in the signature (+, 0), then the submodels of the group of integers (Z, +, 0) are the substructures which are also groups. Thus the natural numbers (N, +, 0) form a substructure of (Z, +, 0) which is not a submodel, while the even numbers (2Z, +, 0) form a submodel which is (a group but) not a subgroup.
Agency Reviews Patent Application Approval Request for "Substructure for Supporting a Wood Flooring and Flooring System Comprising the Same"
May 23, 2013; By a News Reporter-Staff News Editor at Politics & Government Week -- A patent application by the inventors Thornton, William...
Wipo Publishes Patent of Jay John Thiessen, Kameron Wayne Konduc, Donald Leonard Burlet and National Oilwell Varco for "Mobile Drilling Rig with Telescoping Substructure Boxes" (Canadian Inventors)
Oct 25, 2013; GENEVA, Oct. 25 -- Publication No. WO/2013/158695 was published on Oct. 24.Title of the invention: "MOBILE DRILLING RIG WITH...
Track substructure research--ballast fouling investigations: TTCI investigates the effects of ballast fouling and muddy ballast conditions as part of the improved track substructure research initiative.(TTCI R&D)
Dec 01, 2010; Transportation Technology Center, Inc., has examined the track substructure at a number of main line sites to determine...
"System and Method for Simulating Operation of Substructures of a Chemical Processing Plant" in Patent Application Approval Process
Oct 03, 2012; By a News Reporter-Staff News Editor at Defense & Aerospace Week -- A patent application by the inventors Devereux, Brian M. (Elk...