Barrelled Locally Convex Spaces door