Elementary equivalence

(Redirected from Elementarily equivalent)
The relationship between models for a first-order language $L$ for which the sentences of $L$ have the same truth values in the models. Such models are said to be "elementarily equivalent" or "first-order equivalent".