Definition:Least Element