Definizione formale delle caratteristiche condivise da tutte le possibili [[soluzione|soluzioni]] di un problema.