Một biểu hiện hợp lý, xác định một hoặc nhiều điều kiện mà phải đáp ứng mỗi khi một điểm cụ thể trong một vòng lặp của chương trình được thực thi.