Matemaattista operaatiota, jota käytetään kuvaamaan epätäydellisen vastauksen tai päätöslauselman väline tai mittari.