Maths›03. Logic and Foundations6.2 Types and RealizationsDefinition of complete and partial types, realization of types in structures, examples, consistency, and basic properties.