Difference between revisions of "Relation construction"

MyWikiBiz, Author Your Legacy — Friday March 29, 2024
Jump to navigationJump to search
(copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author)
 
(cats)
Line 16: Line 16:
 
* [[Relation type]]
 
* [[Relation type]]
 
* [[Tacit extension]]
 
* [[Tacit extension]]
 +
 +
[[Category:Inquiry]]
 +
[[Category:Peer Educational Resource]]
 +
[[Category:Logic]]
 +
[[Category:Mathematics]]

Revision as of 04:51, 3 May 2010

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

(Text In Preparation)

See also