Atlas/Foundations/Model theory
1/4
A language names constants, functions, and relations. A structure gives them meaning.