Relationskonstruktion

Inom logik och matematik har relationskonstruktion och relationskonstruerbarhet att göra med hur en relation bestäms av en indexerad familj eller en sekvens av andra relationer, kallad relationsdataset . Relationen i betraktelsens fokus kallas för faciendum . Relationsdatauppsättningen består vanligtvis av en specificerad relation över uppsättningar av relationer, kallad konstruktorn , faktorn eller konstruktionsmetoden , plus en specificerad uppsättning andra relationer, kallade faciens , ingredienserna eller makings .

Relationssammansättning och relationsreduktion är specialfall av relationskonstruktioner.

Se även