Minimal model (set theory)
 
x
OK