Difference between revisions of "Relation construction"
MyWikiBiz, Author Your Legacy — Monday November 18, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author) |
Jon Awbrey (talk | contribs) (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)
