Man sagt von einer Definition, sie kürze nur den definierenden Ausdruck ab. Aber führt sie nicht auch einen neuen Kalkül ein?