12,080
edits
Changes
copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author
In [[logic]] and [[mathematics]], '''relation construction''' and '''relational constructibility''' have to do with the ways that one [[relation (mathematics)|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==
* [[Projection (mathematics)|Projection]]
* [[Relation (mathematics)|Relation]]
* [[Relation composition]]
* [[Relation reduction]]
* [[Relation theory]]
* [[Relation type]]
* [[Tacit extension]]
[[Relation composition]] and [[relation reduction]] are special cases of relation constructions.
==Examples==
(Text In Preparation)
==See also==
* [[Projection (mathematics)|Projection]]
* [[Relation (mathematics)|Relation]]
* [[Relation composition]]
* [[Relation reduction]]
* [[Relation theory]]
* [[Relation type]]
* [[Tacit extension]]