Definition:Greatest Element/Comparison with Maximal Element