x:{x:T| x(
eq) v }. x(eq) M
x:{x:T| if eq(x,u)
true
else x(eq) v fi }. x(eq) M}
(eq)M 
(x:{x:T| x(eq) v }. x(eq) M)
xv.x(eq) M
(eq)M
x:{x:T| if eq(x,u) true else x(eq) v fi }. x(eq) M
| 1 | 10. x:{x:T| x(eq) v }. x(eq) M x:{x:T| if eq(x,u) true else x(eq) v fi }. x(eq) M |
About:
 |  |  |  |  |  |  |  |  |