Crea una frase que es pugui concloure d'aquesta altra:
Exemple: el domini concret formula_52, té com a domini el conjunt formula_52 dels nombres naturals i pred (formula_52) el conjunt dels predicats binaris ≥.
El domini formula_52 inclou conceptes matemàtics. 