logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premis ...

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 In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is called ...

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.

See also