We give an accessible presentation to the foundations of nominal techniques, lying between Zermelo-Fraenkel set theory and Fraenkel-Mostowski set theory, and which has several nice properties including being consistent with the Axiom of Choice. We give two presentations of equivariance, accompanied by detailed yet user-friendly discussions of its theoretical significance and practical application.

中文翻译：

---

等变 ZFA 和名义技术的基础

我们对名义技术的基础进行了易于理解的介绍，介于 Zermelo-Fraenkel 集合理论和 Fraenkel-Mostowski 集合理论之间，并且具有几个不错的特性，包括与选择公理一致。我们给出了两个等方差的介绍，并对其理论意义和实际应用进行了详细而用户友好的讨论。