Definition:Nest (Class Theory)