Mathematical model -- algebra

• $%S$-algebra -- $ |A = ( { A_s }_{s \e S }, %S )$
• interpretation -- $ eval : T_{%S} -> |A $
• adequacy -- $ |A |= t_1 = t_2 <=> E |- t_1 = t_2 $