We say Cryptosystem has perfect secrecy if

where and are random variables in and and