definiziohne divisa in punti

Benvenuto nel forum.

Se usi le funzionalità del pacchetto enumitem, puoi fare le enumerazioni numerate come ti pare, con o senza i rientri, con font particolari, insomma: “come ti pare”!
Ovviamente devi leggerne la documentazione: apri un terminale, ci scrivi dentro il comando texdoc enumitem ed esegui il comando premendo il tasto “Invio”.

Non so se esistano modi tipograficamente più eleganti per numerare degli enunciati come nella foto che hai allegato.
Se io componessi un libro per me stesso, e dovessi separare gli enunciati in modo così enfatico, non userei una enumerazione, che richiede periodi completi terminati con il punto e a capo, e che non ammette una introduzione che ne annuncia la formulazione con un enunciato che termia con i due punti.
Per questo scopo, tipograficamente parlando, mi sembrerebbe che una elencazione semplice (detta anche lista puntata) sia sintatticamente più adatta. Ma siccome le grammatiche dela nostra lingua parlano di tutto tranne che delle liste in display, io mi rifaccio ad un articolo pubblicato su ArsTeXnica nel 2015 (puoi scaricare la rivista dalla sezione ArsTeXnica di questo forum). L’è c’è scritto tutto quello che serve conoscere per comporre le liste “tecnico-scientifiche”. Certamente la tua definizione matematica rientra in questa categoria. Siccome quell’articolo non ha la benedizione dell’Accademia della Crusca (nel senso che non ne sono al corrente, e poi perché quell’Accademia dovrebbe occuparsi della lingua formale di matematici e scienziati vari?) sei ovviamente padronissimo di fare come ti pare non solo come stile compositivo ma anche come tipo di lista.