model theory
structure in model theory
type in model theory
model
stability in model theory, geometric stability theory
definable set, definable groupoid