A Source taking values in a discrete set
is reliably encodable at rate
if for each
there is some
such that: