---
title: "derived variable"
source: https://www.jemoka.com/posts/kbhderived_variable/
---

A derived variable is a mapping between states to a set, usually the natural numbers. Remember, if we can, given a state and match it to a number and show a relation which would iterate the state and decrease the states&rsquo; number. We can show that the algorithm terminates.
