Zestaw świadków

W teorii obliczeniowego uczenia się niech C będzie klasą pojęć w domenie X , a c będzie pojęciem w C. Podzbiór S od X jest zestawem świadków dla c w C , jeśli c ( S ) weryfikuje c (tj. c jest jedynym spójnym pojęciem w odniesieniu do c ( S )). Minimalny rozmiar świadka ustawiony na c nazywa się rozmiarem świadka lub numerem specyfikacji i jest oznaczony przez $\ Displaystyle w_ {C} (c)}$ . Wartość ${\ Displaystyle \ max \ {w_ {C} (c): c \ in C \}}$ nazywana jest wymiarem nauczania C .