Joint embedding property
Encyclopedia
In universal algebra
and model theory
a class of structures
K is said to have the joint embedding property if for all structures A and B in K there is a structure C in K such that both A and B are embeddable
in C.
Universal algebra
Universal algebra is the field of mathematics that studies algebraic structures themselves, not examples of algebraic structures....
and model theory
Model theory
In mathematics, model theory is the study of mathematical structures using tools from mathematical logic....
a class of structures
Structure (mathematical logic)
In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it....
K is said to have the joint embedding property if for all structures A and B in K there is a structure C in K such that both A and B are embeddable
Embedding
In mathematics, an embedding is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup....
in C.