for X being LinearTopSpace ex P being local_base of X st P is circled-membered