Definition:Locally Small