E"和解密算法"D"，两者互为反函数。每个算法有两个输入：长度为"n"位的组，和长度为"k"位的密钥；两组输入均生成"n"位输出。将两个算法看作函数，"K"表示长度为"k"的密钥（密钥长度），"P"表示长度为"n"的分组，"P"也被表示为明文，"C"表示密文，则满足：对于任意密钥"K"，"E(P)"是输入的组的一个置换函数，且可逆地落在{0,1}区间。"E"的反函数（解密算法）定义为：例如，一个分组加密算法使用一段 128 位的分组作为明文，相应输出 128 位的密文；而其转换则受加密算法中第二个输入