Se ha añadido el ejercicio Demostraciones de "s ∩ (s ∪ t) = s", propuesto originalmente el 25 de mayo de 2021.