Definition:Greatest Element of Subset