Можете объяснить понятие инварианта и его роль в программировании или математике?