In der Definitionszeile wird eine Punktoperation definiert.
Nach dem ersten Doppelpunkt steht VxV -> V, das bedeutet, dass jeweils zwei Vektoren auf einen neuen Vektor abgebildet werden.
Nach dem nächsten Doppelpunkt steht, was konkret zur rechnen ist. (Patternmatching).
a) b) c) und d) werden nach der vorgegebenen Definition berechnet.
Beachte: Operation ≠ Operator.