To use this method, the desired properties of the set to be constructed are broken up into an infinite list of goals, known as requirements, so that satisfying all the requirements will cause the set constructed to have the desired properties.
Για να χρησιμοποιηθεί αυτή η μέθοδος, οι επιθυμητές ιδιότητες του συνόλου που πρόκειται να κατασκευαστεί χωρίστηκαν σε έναν άπειρο κατάλογο των στόχων, που είναι γνωστός ως απαιτήσεις, έτσι ώστε ικανοποιώντας όλες τις απαιτήσεις θα κάνει το κατσκευασμένο σύνολο να έχει τις επιθυμητές ιδιότητες.