2. k :
3. (
p,i. if p(i)
1 else 0 fi) 
(a {k} 
)
a {k} 2
4. (
f,i. f(i)=
1) (a {k} 2)a {k}
5. p :
a
6.
size(a)(p) = k
7. x :
a
8. p(x)
(1=1) = true
p,i. if p(i) 1 else 0 fi) (a {k} )a {k} 2
f,i. f(i)=1) (a {k} 2)a {k}
a
size(a)(p) = k
a
(1=1) = true| By: |
1 * true |
None
About:
 |  |  |  |  |
 |  |  |  |  |  |
 |