12,080
edits
Changes
<font size="3">☞</font> This page belongs to resource collections on Logic and Inquiry.
<font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
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''.
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''.