Extension (model theory)

Summary