Elementary equivalence Uncommon

Origin: Latin suffix -ence

Definition, synonyms and related words

Definitions

Noun

A relation between two structures which have the property that every first-order formula is valid in one structure if and only if it is valid in the other.

See Also

if and only if property valid formula structure first order relation

Related Terms

if and only if property valid formula structure first order relation

Rhyming Words

nce ance ince unce ence once vince sence ponce nance munce vance dunce hence bonce ounce nonce gance dance vonce

Compare