(P(u) & 
x
v.P(x))
x:{x:T| if eq(x,u)
true else x(eq) v fi }. P(x)
}
xv.P(x) 
(x:{x:T| x(eq) v }. P(x))
(P(u)
xv.P(x))
x:{x:T| if eq(x,u) true else x(eq) v fi }. P(x)
p,q:. (pq) 
p & q)
-1
| 1 | 8. (P(u) & xv.P(x)) x:{x:T| if eq(x,u) true else x(eq) v fi }. P(x) |
About:
 |  |  |  |  |
 |  |  |  |  |
 |