EDB — 129

Exercises

1. [129] Prerequisites:[124]↺↻,[125]↺↻.

   Show that the four operations are monotonic: if \(A⊆ C\) then \(A ⊕ B⊆ C ⊕ B\), \(A ⊖ B⊆ C ⊖ B\),    \(A ∙ B⊆ C ∙ B\)   and   \( A ∘ B ⊆ C ∘ B \).

   Solution 1

   [12B]↺↻