# Relation construction

☞ This page belongs to resource collections on Logic and Inquiry.

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.

## Syllabus

### Focal nodes

### Peer nodes

- Relation Construction @ InterSciWiki
- Relation Construction @ MyWikiBiz
- Relation Construction @ Subject Wikis
- Relation Construction @ Wikiversity
- Relation Construction @ Wikiversity Beta

### Logical operators

Template:Col-breakTemplate:Col-breakTemplate:Col-end### Related topics

- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic

### Relational concepts

### Information, Inquiry

### Related articles

- Differential Logic : Introduction
- Differential Propositional Calculus
- Differential Logic and Dynamic Systems

- Introduction to Inquiry Driven Systems
- Prospects for Inquiry Driven Systems
- Inquiry Driven Systems : Inquiry Into Inquiry

## Document history

Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.

- Relation Construction, InterSciWiki
- Relation Construction, MyWikiBiz
- Relation Construction, PlanetMath
- Relation Construction, Semantic Web
- Relation Construction, Wikinfo
- Relation Construction, Wikiversity
- Relation Construction, Wikiversity Beta
- Relation Construction, Wikipedia