Ràng buộc thực hiện trước khi thực hiện một chương trình máy tính và không thể thay đổi trong thời gian thực hiện chương trình.