nLab
permutation model

A kind of model for set theory.

References