:: deftheorem defines locally-convex RLTOPSP1:def 11 :
for X being non empty RLTopStruct holds
( X is locally-convex iff ex P being local_base of X st P is convex-membered );