Eine Menge nennt man einen komplexen linearen Vektorraum, wenn auf eine Addition sowie die Multiplikation von Elementen aus mit komplexen Zahlen definiert sind, welche die analogen Eigenschaften zu (2.22) erfüllen, wobei die Quantoren und durch und zu ersetzen sind.