Noun
English Wikipedia has an article on:conservative extensionWikipedia
conservative extension (plural conservative extensions)
(mathematics, logic) An extension of a logical theory such that every theorem expressible in the original theory is also derivable within the original theory.