Relation construction
In logic and mathematics, relation construction and relational constructability 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 fascines, the ingredients, or the makings.
Relation composition and relation reduction are special cases of relation constructions.
See also
 | This logic-related article is a stub. You can help EverybodyWiki by expanding it. |
 | This philosophy-related article is a stub. You can help EverybodyWiki by expanding it. |
This article "Relation construction" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Relation construction. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
