< Relational Construction(logic, wiki, imported, Proteus)
In
logic and
mathematics,
relation construction and
relational constructibility have to do with the ways that one
relation is determined by an
indexed family or a
sequence of other relations, called the
relation dataset. The relation in the focus of consideration is called the
faciendum. The relation dataset typically consists of a specified relation over sets of relations, called the
constructor, the
factor, or the
method of construction, plus a specified set of other relations, called the
faciens, the
ingredients, or the
makings.
Relation composition and
relation reduction are special cases of relation constructions.
Examples
See also
Some content adapted from the Wikinfo article "Relation construction" under the GNU Free Documentation License.
(last updated by Proteus, 7:55pm EDT - Sat, Apr 07 2007)
