Let be a Cryptosystem.
The message equivocation is
where and are random variables taking values in
finite and and