Sistema edo osagai batek zehaztutako baldintzak betetzen dituela eta erabilera operatiborako onargarria dela adierazten duen froga formala.
Ikuskapen bereiziak daude erabilera operatiborako eta erabilera ez-operatiborako.