Please enable JavaScript.

Coggle requires JavaScript to display documents.

Relations - Coggle Diagram

- - - - The Domain R is the set containing all elements of S that are related (via R) with some element of T
  - - - The domain anti-restriction of R on U is the set containing all elements of R whose first element of the pair does not belongs to U
  - - - The domain restriction of R on U is the set containing all elements of R whose first element of the pair belongs to U
  - - - The range restriction of R on U is the set containing all elements of R whose second element belongs to U
  - - - The range of R is the set containing all elements of T that are related (via R) eith some element in S
  - - - The range anti-restriction of R on U is the set containing all elements of R whose the secong element of the pair does not belongs to U
  - - - The relational image of R on U is the set containing all elements of T that are related (via R) with some element of U
  - - - The relational overriding of R1 ove R0 is the set containing all pairs (x,y) of R0 such that x does not belong to the domain of R1 and all pairs (x,y) of R1 such that x belongs to the domain of R1
  - - - The relational composition of R0 and R1 is the set containing all pairs (x,z) such that (x,y) belongs to R0 and (y,z) blongs to R1
  - - - The relational inverse of R is the set containing all pairs (y,x) such that (x,y) belongs to R