Extension (model theory)

From Free net encyclopedia