  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.
