Freebase (0,00 / 0 phiếu bầu) Đánh giá định nghĩa này: Trong khoa học máy tính, một bất biến là một điều kiện có thể được dựa vào để trở thành đúng trong quá trình thực thi một chương trình. Ví dụ, một bất biến của vòng lặp là một điều kiện đúng ở đầu và cuối mỗi lần thực hiện một vòng lặp.