在公理化集合论和使用它的逻辑、数学和计算机科学分支中，配对公理是 Zermelo-Fraenkel 集合论的公理之一。

在 Zermelo-Frankel 公理的形式语言中，这个公理读做：

换句话说：

给定任何集合 x 和任何集合 y，有着一个集合 A 使得，给定任何集合 z，z 是 A 的成员，当且仅当 z 等于 x 或者 z 等于 y。

In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of pairing is one of the axioms of Zermelo–Fraenkel set theory.