Definition:Smallest Element of Subset