Álgebra de Conjuntos en Sagemath