Bir hesabın kesinliğinin ya da bir problemin çözümünün doğruluğunun denetlendiği işleme ne ad verilir?

DOĞAL SAYILARDA ÇIKARMA A = {a,b,c,d,e} B = {d,e} s(A) = 5 ve s(B) = 2 dir. s(A) - s(B) = s(C) 5 - 2 = 3 olarak gösterilir. Burada 5 : eksilen; 2 : çıkan 3 : fark olarak adlandırılır. B A ise A - B kümesinin eleman sayısına A ve B kümelerinin eleman sayılarının farkı denir. Bu farkı bulmak için yapılan işleme çıkarma işlemi adı verilir. Çıkarma geriye doğru saymanın kısa yapılışıdır. Sağlaması; a-b=c ise a=b + c olacak şekilde yapılır. Çıkarma işlemi toplamanın tersidir.