En lógica y matemáticas , la construcción de relaciones y la constructibilidad relacional tienen que ver con las formas en que una relación está determinada por una familia indexada o una secuencia de otras relaciones, denominada conjunto de datos de relaciones . La relación en el foco de consideración se llama faciendum . El conjunto de datos de relaciones generalmente consta de una relación especificada sobre conjuntos de relaciones, llamados constructor , factor o método de construcción , más un conjunto especificado de otras relaciones, llamado faciens , ingredientes o elementos de construcción .
La composición de relaciones y la reducción de relaciones son casos especiales de construcciones de relaciones.