https://www.dict.cc/englisch-deutsch/locally+convex+topological+vector+space.html