Show that

-------------------------------------------------------------------------------

We show that any structure for the language and any function that satisfies also satisfies , where denotes a function from the set V of all variables into the universe of . For any , we have and .

It follows that . which in turn implies that .

Is this proof O.K or am I missing something?

Thank you.