Designen formula_1 el conjunto de fórmulas bien formadas de un lenguaje conceptual, formula_2 el conjunto de constructos y formula_3 su conjunto potencia, entonces la función (no inyectiva, ni sobreyectiva) que relaciona a formula_1 con formula_3 es llamada la "designación" formula_6: