Designación
# Designación

En semántica filosófica, la designación es la relación entre símbolos y constructos. Designen $~\Sigma ^{**}$ el conjunto de fórmulas bien formadas de un lenguaje conceptual, $~C$ el conjunto de constructos y Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle ~2^C} su conjunto potencia, entonces la función (no inyectiva, ni sobreyectiva) que relaciona a $~\Sigma ^{**}$ con $~2^{C}$ es llamada la designación $~D$:

    $~D\colon \Sigma ^{**}\to 2^{C}$.
