Có nội dung như sau
+Định nghĩa S,G.
+Phát biểu
X : tập bất kì các instances
H : tập các giả thuyết bool định nghia trên X
c : X-->[0,1] khái niệm mục tiêu tùy ý trên X.
D : {(x, c(x))) tập tùy ý các dữ liệu huấn luyện.
Version Space dc định nghĩa như sau:
VSH,D = {h | h Î H Ù $sÎS $gÎG (g ³ h ³ s)}
Cần chứng minh 2 vấn đề