definitional equation