Khẳng định nên luôn luôn đúng cho một phân đoạn được chỉ định hoặc tại một thời điểm được chỉ định của một chương trình máy tính.