Certa vez um professor meu comentou sobre existir isomorfismo entre (união e adição) e entre (intersecção e multiplicação), fazendo com que relações de conjuntos pudessem ser expressadas como expressões algebricas. Existe algo desse tipo ou é só um caso particular? Nunca vi demonstração disso...