\embed{definition}{ }On conjugue ces types à partir de `set`

`set` | tel quel |
`aset` | approximatif | expressions numériques
`fset` | formal | expressions formelles
`chset` | liste de caractères alphanumériques |

Comparer les réponses possibles dans l'exemple suivant

    \function\lbrac f = sin(x + 2 - 3) \rbrac
    \function\lbrac g = sin(x - 1) \rbrac
    \function\lbrac h = sin(x - 4 + 2) \rbrac
    \function\lbrac t = \simplify( \\f) \rbrac
    \statement\lbrac \\f,\\g,\\h,\\t \rbrac
    \answer\lbrac \rbrac\lbrac \\f,\\g,\\h \rbrac\lbrac type = fset \rbrac
    \answer\lbrac \rbrac\lbrac \\f,\\g,\\h \rbrac\lbrac type = aset \rbrac
    \answer\lbrac \rbrac\lbrac \\t,\\g,\\h \rbrac\lbrac type = fset \rbrac

Si l'on répond sin(x - 1), sin(x - 1), sin(x - 2), les deux premières réponses sont fausses mais la troisième est juste. Un principe de sagesse : toujours faire simplifier les expressions ...