Realización (de un Tipo)
- Pure Mathematics -
Algebra Dictionary
Definición
Una realización de un tipo p(x) en un modelo M es un elemento o tupla a de M tal que cada fórmula en p(x) es verdadera para a en M; equivalentemente, a realiza p si M ⊨ φ(a) para toda φ(x) ∈ p.