Lợi thế của việc xác định bộ với các quy tắc quyết định là các lực lượng yêu cầu unambiguity rõ ràng. Xét nghiệm có kinh nghiệm đã gặp phải "yêu cầu untestable". Nhiều lần, lý do mà các yêu cầu như vậy không thể được kiểm tra để nắm một nguyên tắc quyết định không rõ ràng. Trong Chương trình Tam giác của chúng tôi, ví dụ, giả sử chúng ta định nghĩa một tập hợp
đang được dịch, vui lòng đợi..
