Ich könnte es so ausdrücken: man könnte die Definition U sehen ohne zu wissen warum ich so definiere. || so abkürze.
     Man könnte die Definition sehen ohne ihren Witz zu verstehen. – Aber dieser Witz ist eben etwas Neues, daß in ihr als spezieller Ersetzungsregel noch nicht liegt.