20.11.
  Eine Definition führt den Ausdruck eines neuen Systems ein.