EDB — 129

Esercizi

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

   Mostrate che le quattro operazioni sono monotone: se \(A⊆ C\) allora \(A ⊕ B⊆ C ⊕ B\), \(A ⊖ B⊆ C ⊖ B\),    \(A ∙ B⊆ C ∙ B\)   e   \( A ∘ B ⊆ C ∘ B \).

   Soluzione 1

   [12B]↺↻