Справді, коли Сократ дошукується того, чим насправді є справедливість, він наполягає, щоб це Визначення відповідало тим прикладам, які ми вважаємо зразками справедливих рішень чи вчинків, тобто виключається довільність. Сократ не намагається уточнити термін, оскільки виняткові випадки не наголошуються. Також його не цікавить статистичне дослідження вкоріненої практики вживання терміну. Теоретичні Визначення часом називають ще «аналітичними».