Ghi đè được định nghĩa là một thiết bị dừng chức năng tự động của một thứ gì đó hoặc hủy bỏ một quyết định. 1 Nút dừng trên hệ thống phun nước tự động là một ví dụ về ghi đè. Một cuộc bỏ phiếu của một ủy ban để thay đổi quy tắc được thông qua bởi ông chủ là một ví dụ về sự thay thế.