By this we mean that approximate solutions are constructed by a reduction of the problem to a finite-dimensional one, and these are then shown to form a relatively compact family in a suitable topology, by means of a priori estimates and other evaluations.
Sa pamamagitan ng ito namin na ang ibig sabihin ng wastong solusyon ay itinayo sa pamamagitan ng pagbabawas ng problema sa isang wakas-kalawakan ng isa, at pagkatapos ay ang mga ito ay ipinapakita sa form ng isang relatibong masinsin pamilya sa isang angkop na topology, sa pamamagitan ng walang pagsubok estima at iba pang mga evaluations.