Một biểu hiện hợp lý, xác định một hoặc nhiều điều kiện chương trình đầu vào phải đáp ứng để có hiệu lực.