¿Existe una definición formal para un sistema en el que se puedan realizar operaciones aritméticas sobre conjuntos, por ejemplo? $2 \cdot \mathbb{Z}$ = el conjunto de enteros pares?
Si lo hay, ¿cómo se llama?
¿Qué ocurre cuando añado dos conjuntos?
(Nota: no tengo ni idea de cómo etiquetar esto).