prechiuso
prechiuso [agg. Comp. di pre- e chiuso] [ALG] Operatore p.: operatore che diventa un operatore chiuso se viene esteso alla chiusura del suo dominio.
