Definition:Strict Lower Set