Changes

<font size="3">☞</font> This page belongs to resource collections on Logic and Inquiry.
Line 1: Line 1:  +
<font size="3">&#9758;</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''.
  
12,080

edits