A consistent collection of terms
chosen for specific purposes
with explicitly stated, logical constraints
on their intended meanings and relationships.