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.
Pentru a utiliza această metodă, proprietățile dorite a fi construite sunt despărțite într-o listă infinită de obiective, cunoscut sub numele de cerințe, astfel încât satisfacerea tuturor cerințelor va face ca mulțimea construită să aibă proprietățile dorite.