Złożenie relacji

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Złożenie relacji binarnych to pewna relacja binarna zdefiniowana za pomocą dwóch innych relacji. Złożenie funkcji jest szczególnym przypadkiem złożenia relacji. Złożenie relacji jest operacją łączną.

Defnicja[edytuj | edytuj kod]

Niech A,\,B i C będą zbiorami. Niech R\subseteq A\times B oraz S\subseteq B \times C. Wtedy oznaczamy:

S\circ R = \left\{(x,z)\in A\times C \mid \,\exists_{y\in B}\,x\,R\,y\, \wedge \,y\,S\,z\right\}

Zobacz też[edytuj | edytuj kod]

Półgrupa relacji binarnych