Design an algebra A implementing the gint signature such that the sort integer is interpreted with carrier set, where
u is the unspecified element,
denoting an error has occurred in the computation
(such as division by 0 ,underflow or overflow).Give a mathematical definition-by-cases for each operation to return the correct value given inputs from and the computed value is within range,
and u when an over/underflow results