Se agregan operadores supremo y cardinalidad
Se inicia el apunte de control robusto
Problemas de union