Given a hidden signature , a
hidden
-algebra M is a (many sorted)
-algebra
M such that its restriction to
is D.
Similarly, a hidden equation is just a -equation, and a hidden specification (or
hidden theory) is just a set of
-equations. What differs sharply from ordinary algebra is
the notion of behavioral satisfaction of an
equation by an algebra, which is our next topic.