Siendo MURO una constante con el valor "MAX(CARDINAL)", que hace la