LARA

Relations

Exercise:

Prove that it holds or construct a counterexample which shows that it does not hold:

  • r \circ (s \cap t) \subseteq (r \circ s) \cap (r \circ t)
  • (r \circ s) \cap (r \circ t) \subseteq r \circ (s \cap t)
  • (r \circ s)^{-1} = s^{-1} \circ r^{-1}

Solution:

Solutions can be found in the material from the last year (Task 1, 2 and 3)