Ejemplo: el dominio concreto formula_52, tiene como dominio el conjunto formula_52 de los números naturales y pred(formula_52) el conjunto de los predicados binarios  ≥ .