Definitionsgleichung