10
PARITY
•
Let
s
= {U}
(a unary table)
•
•
The property PARITY is true on models
A
where |U
A
| is even
•
•
PARITY and EVEN are very related, but…