二、基本术语

本节提出了差分隐私的形式化定义，并列举了它的一些关键特性。